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

cellularBinomialPrimaryDecomposition -- Primary decomposition of a cellular binomial ideal

Synopsis

Description

If the cell variables are known, they can be given via the option CellVariables otherwise they are computed.
R = QQ[x,y]
I = ideal(x^3-1,y-x)
cv = isCellular (I,ReturnCellVars=>true)
pd = cellularBinomialPrimaryDecomposition (I,CellVariables=>cv)
mingens \ pd

Caveat

This function will not return minimal generators for performance reasons.

See also

Ways to use cellularBinomialPrimaryDecomposition :