Ideal _* -- get the list of generators of an ideal

Synopsis

• Operator: _*

• Usage:

  I_*

• Inputs:
  • I, an ideal
• Outputs:
  • the list of generators of I

Description

i1 : R = QQ[a..c]

o1 = R

o1 : PolynomialRing

i2 : I = ideal (a,b,c);

o2 : Ideal of R

i3 : J = I^2

             2             2        2
o3 = ideal (a , a*b, a*c, b , b*c, c )

o3 : Ideal of R

i4 : J_*     

       2             2        2
o4 = {a , a*b, a*c, b , b*c, c }

o4 : List