|  |  D.13.4.15 tInitialIdeal Procedure from librarytropical.lib(see  tropical_lib).
 
Example:Usage:
tInitialIdeal(i,w); i ideal, w intvec
Assume:
i is an ideal in Q[t,x_1,...,x_n] and w=(w_0,...,w_n)
Return:
ideal ini, the t-initial ideal of i with respect to w
 |  | 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
 | 
 
 |