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,y),dp; poly f=t2xy+1/t*y+t3; parameterSubstitute(f,3); ==> (t6)*xy+1/(t3)*y+(t9) parameterSubstitute(f,-1); ==> 1/(t2)*xy+(t)*y+1/(t3)