i1 : R = QQ[a..d]; |
i2 : I = monomialIdeal(a^3,b^2,a*b*c) 3 2 o2 = monomialIdeal (a , b , a*b*c) o2 : MonomialIdeal of R |
i3 : J = monomialIdeal(a^2,b^3,a*b*c) 2 3 o3 = monomialIdeal (a , b , a*b*c) o3 : MonomialIdeal of R |
i4 : I - J 2 o4 = monomialIdeal(b ) o4 : MonomialIdeal of R |
i5 : J - I 2 o5 = monomialIdeal(a ) o5 : MonomialIdeal of R |
i6 : I - (I-J) 3 o6 = monomialIdeal (a , a*b*c) o6 : MonomialIdeal of R |