-- -*- M2-comint -*- {* hash: 2021791222 *}
i1 : R = QQ[a..d];
i2 : I = ideal(a^2-b*c-1,a*c-1,b^3-1);
o2 : Ideal of R
i3 : isSubset(I^2,I)
o3 = true
i4 : isSubset(I,I^2)
o4 = false
i5 :
-- -*- M2-comint -*- {* hash: 2021791222 *}
i1 : R = QQ[a..d];
i2 : I = ideal(a^2-b*c-1,a*c-1,b^3-1);
o2 : Ideal of R
i3 : isSubset(I^2,I)
o3 = true
i4 : isSubset(I,I^2)
o4 = false
i5 :
::
::
::
