next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Binomials :: ReturnCellVars

ReturnCellVars -- return the cellular variables

Description

The cellular variables of a binomial ideal are the variables which are non-zerodivisors module that ideal. If this option is set to 'true' then binomialCellularDecomposition will return the set of variables for each of its outputs 
i1 : R = QQ[x,y,z]

o1 = R

o1 : PolynomialRing
 
i2 : I = ideal (x*y-z, x*z-y^2)

                        2
o2 = ideal (x*y - z, - y  + x*z)

o2 : Ideal of R
 
i3 : bcd = binomialCellularDecomposition (I,ReturnCellVars=>true)

               2                  2
o3 = {{ideal (y  - x*z, x*y - z, x  - y), {x, y, z}}, {ideal (z, y), {x}}}

o3 : List

Functions with optional argument named ReturnCellVars :

For the programmer

The object ReturnCellVars is a symbol.