Singular Manual: tInitialIdeal

| #### D.13.4.15 tInitialIdeal Procedure from library `tropical.lib` (see tropical_lib). 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 Example:
    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

User manual for Singular version 4-1-1, 2018, generated by texi2html.