isGeneratedByIndeterminates -- checks whether the ideal is generated by indeterminates

Synopsis

• Usage:

  isGeneratedByIndeterminates I

• Inputs:
  • I, an ideal,
• Outputs:
  • a Boolean value,

Description

i1 : R = QQ[x,y]

o1 = R

o1 : PolynomialRing

i2 : isGeneratedByIndeterminates ideal 0

o2 = true

i3 : isGeneratedByIndeterminates ideal 1

o3 = false

i4 : isGeneratedByIndeterminates ideal(x,y)

o4 = true

i5 : isGeneratedByIndeterminates ideal(x*y)

o5 = false

See also

• isGVD -- checks whether an ideal is geometrically vertex decomposable
• isLexCompatiblyGVD -- checks whether an ideal is <-compatibly geometrically vertex decomposable for a given order
• isWeaklyGVD -- checks whether an ideal is weakly geometrically vertex decomposable