next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
Macaulay2 website
SlackIdeals
::
Saturate
Saturate -- choose whether to saturate with respect to the product of all variables at the same time or variable by variable.
Synopsis
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
.