isBinomial -- testing for unital binomial ideals

• Usage:

  isBinomial I; isUnital I

• Inputs:
  • I, an ideal
• Outputs:
  • true if I is binomial, or unital respectively.

i1 : R = QQ[x,y,z]

o1 = R

o1 : PolynomialRing

i2 : isBinomial ideal(x^2)

o2 = true

i3 : isBinomial ideal(x-y+z,z)

o3 = true

i4 : isBinomial ideal(x^3-x)

o4 = true

i5 : isUnital ideal (x-z,z-y)

o5 = true

i6 : isUnital ideal (x+z)

o6 = false

i7 : isUnital ideal (x^2)

o7 = true