Macaulay2 » Documentation
Packages » SlackIdeals :: Saturate

next | previous | forward | backward | up | index | toc

Saturate -- choose whether to saturate with respect to the product of all variables at the same time or variable by variable.

Usage:

slackIdeal(V, Saturate => "all")

rehomogenizeIdeal(d, X, Saturate => "each")

grassmannSectionIdeal(S, B, Saturate => "all")

graphicIdeal(V, Saturate => "each")

cycleIdeal(S, Saturate => "all")

Description

The default value is "all".

See also

Strategy -- an optional argument
slackIdeal -- computes the slack ideal
rehomogenizeIdeal -- rehomogenization of a the dehomogenized slack ideal
grassmannSectionIdeal -- compute the Grassmannian section ideal corresponding to a slack matrix
graphicIdeal -- creates the toric ideal of the non-incidence graph of a polytope
cycleIdeal -- constructs the cycle ideal of a realization

Functions with optional argument named Saturate:

cycleIdeal(...,Saturate=>...) -- specifies saturation strategy to be used
graphicIdeal(...,Saturate=>...) -- specifies saturation strategy to be used
grassmannSectionIdeal(...,Saturate=>...) -- specifies saturation strategy to be used
rehomogenizeIdeal(...,Saturate=>...) -- specifies saturation strategy to be used
slackIdeal(...,Saturate=>...) -- specifies saturation strategy to be used

For the programmer

The object Saturate is a symbol.

The source of this document is in SlackIdeals.m2:2757:0.