-- -*- M2-comint -*- hash: 1592941916234576340

i1 : setPolynomialRing({x,y},{2,3}); setQuotientRing(y^2-x^3-7*x); J=ideal(x,y)

o3 = ideal (x, y)

o3 : Ideal of QR

i4 : double J

o4 = ideal 1

o4 : Ideal of QR

i5 : reduced(J*J)

o5 = ideal 1

o5 : Ideal of QR

i6 : add(J,J)

o6 = ideal 1

o6 : Ideal of QR

i7 : 
