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

• Function: isSubset

• Usage:

  isSubset(I,J)

• Inputs:
  • I, an ideal
  • J, an ideal
• Outputs:
  • a Boolean value, whether I is contained in J

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