| 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;
ideal i=t2x-y+t3,t2x-y-2t3x;
intvec w=-1,2,0;
// the t-initial forms of the generators are
tInitialForm(i[1],w),tInitialForm(i[2],w);
==> x-y x-y
// and they do not generate the t-initial ideal of i
tInitialIdeal(i,w);
==> _[1]=-x+y
==> _[2]=2xy
==> _[3]=2x
==> _[4]=2xy2
|