next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Binomials :: binomialIsPrimary

binomialIsPrimary -- test for primaryness of a binomial ideal

Synopsis

Description

A binomial ideal is primary only if it is cellular. If the cellular variablesare known they can be given via the cellVariables option.If the ideal is not primary, either 'false' or two distinct associated primes can be returned. The behaviour can be changed using the options returnPrimes and returnPChars.
i1 : R = QQ[x,y]

o1 = R

o1 : PolynomialRing
i2 : I = ideal(x^2-1)

            2
o2 = ideal(x  - 1)

o2 : Ideal of R
i3 : binomialIsPrimary (I,returnPrimes=>true)
CellVariables not given, Please consider precomputing them
The radical is not prime, as the character is not saturated

o3 = {ideal(x - 1), ideal(x + 1)}

o3 : List

See also

Ways to use binomialIsPrimary :