binomialIsPrime -- test for primeness of a binomial ideal

• Usage:

  binomialIsPrime I

• Inputs:
  • I, a binomial ideal
• Optional inputs:
  • CellVariables => ..., default value null, cellular variables
• Outputs:
  • true or false, depending on whether I is a binomial prime ideal

i1 : R = QQ[x,y]

o1 = R

o1 : PolynomialRing

i2 : I = ideal(x^2-y,y^2-x)

             2       2
o2 = ideal (x  - y, y  - x)

o2 : Ideal of R

i3 : binomialIsPrime I

o3 = false