tropical.lib
LIB "tropical.lib"; ring r=(0,t),(x,y),dp; ideal i=txy-y2+1,2t3x2+1/t*y-t6; tropicaliseSet(i);