I_*
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