-- -*- M2-comint -*- {* hash: -1394603219 *} 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 i5 :