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,t),x,dp; texPolynomial(1/t*x2-t2x+1/t); ==> \tfrac{1}{t}\cdot x^{2}-t^{2}\cdot x+\tfrac{1}{t}