tropical.lib
LIB "tropical.lib"; 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}