next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Macaulay2Doc :: isSubset(Ideal,Ideal)

isSubset(Ideal,Ideal) -- whether one object is a subset of another

Synopsis

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.