tropical.lib
LIB "tropical.lib"; ==> Welcome to polymake version ==> Copyright (c) 1997-2015 ==> Ewgenij Gawrilow, Michael Joswig (TU Darmstadt) ==> http://www.polymake.org ring r=0,(x,y),dp; poly conic=2x2+1/2y2-1; dualConic(conic); ==> 1/2x2+2y2-1