initialIdeals -- calls gfan and returns the list of initial ideals

Synopsis

• Usage:

  initialIdeals(I)

• Inputs:
  • an ideal, the ideal
• Outputs:
  • the list of initial ideals of I. Note that each initial ideal is given as a list of monomial generators in ring(I), not as a monomial ideal.

Description

i1 : R = QQ[a,b];

i2 : I = ideal(a^2+b^2,a*b);

o2 : Ideal of R

i3 : initialIdeals(I)  

             2   3     3        2
o3 = {{a*b, a , b }, {a , a*b, b }}

o3 : List