tropical.lib
LIB "tropical.lib"; ring r=0,(x,y),dp; poly conic=2x2+1/2y2-1; dualConic(conic); ==> 1/2x2+2y2-1