Description
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
|
In polynomial rings, this is accomplished by computing a Gröbner basis of
J and testing whether every element of
I reduces to 0 modulo
I.