-- -*- M2-comint -*- hash: 1535331953679801454

i1 : R = QQ[x,y]

o1 = R

o1 : PolynomialRing

i2 : I = ideal"x2,xy,y3"

             2        3
o2 = ideal (x , x*y, y )

o2 : Ideal of R

i3 : J = monReduction I

                     2        3
o3 = monomialIdeal (x , x*y, y )

o3 : MonomialIdeal of R

i4 : J == I

o4 = true

i5 : K = minimalReduction I

            3 3   9 2   9      7 3   7 2   7
o5 = ideal (-y  + -x  + -x*y, --y  + -x  + -x*y)
            4     2     4     10     4     9

o5 : Ideal of R

i6 : degree J, degree K

o6 = (4, 6)

o6 : Sequence

i7 : 
