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

cellularBinomialIsPrimary -- test for primaryness of a binomial ideal

Synopsis

Description

A binomial ideal is primary only if it is cellular. If the cellular variables are 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.
R = QQ[x,y]
I = ideal(x^2-1)
cellularBinomialIsPrimary (I,ReturnPrimes=>true)

See also

Ways to use cellularBinomialIsPrimary :