next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
Macaulay2 website
SlackIdeals
::
Object
Object -- select the combinatorial object which the input should be interpreted as
Synopsis
Usage:
slackMatrix(V, Object => "matroid")
slackIdeal(V, Object => "abstractPolytope")
symbolicSlackMatrix(V, Object => "polytope")
cycleIdeal(V, Object => "matroid")
graphicIdeal(V, Object => "abstractPolytope")
getFacetBases(V, Object => "cone")
slackFromPlucker(V, Object => "polytope")
symbolicSlackOfPlucker(V, Object => "matroid")
grassmannSectionIdeal(V, Object => "cone")
findFlag(V, Object => "matroid")
containsFlag(fl, V, Object => "matroid")
reducedSlackMatrix(V, Object => "polytope")
Description
The default value is polytope.
See also
slackMatrix
-- computes the slack matrix of a given realization
slackIdeal
-- computes the slack ideal
symbolicSlackMatrix
-- computes the symbolic slack matrix
cycleIdeal
-- constructs the cycle ideal of a realization
graphicIdeal
-- creates the toric ideal of the non-incidence graph of a polytope
getFacetBases
-- get a list of d-spanning elements for each facet
slackFromPlucker
-- fill the slack matrix of a given polytope, cone or matroid with Plucker coordinates
symbolicSlackOfPlucker
-- fill the slack matrix with Plucker variables
grassmannSectionIdeal
-- compute the Grassmannian section ideal corresponding to a slack matrix
findFlag
-- computes a list of facet labels that make up a flag in a polytope
containsFlag
-- establishes whether or not a list of facet labels contains a flag in a polytope or matroid
reducedSlackMatrix
-- a reduced slack matrix of a polytope
Functions with optional argument named
Object
:
containsFlag(...,Object=>...)
-- specify combinatorial object
cycleIdeal(...,Object=>...)
-- specify combinatorial object
findFlag(...,Object=>...)
-- specify combinatorial object
getFacetBases(...,Object=>...)
-- specify combinatorial object
graphicIdeal(...,Object=>...)
-- specify combinatorial object
grassmannSectionIdeal(...,Object=>...)
-- specify combinatorial object
reducedSlackMatrix(...,Object=>...)
-- specify combinatorial object
slackFromPlucker(...,Object=>...)
-- specify combinatorial object
slackIdeal(...,Object=>...)
-- specify combinatorial object
slackMatrix(...,Object=>...)
-- specify combinatorial object
symbolicSlackMatrix(...,Object=>...)
-- specify combinatorial object
symbolicSlackOfPlucker(...,Object=>...)
-- specify combinatorial object
For the programmer
The object
Object
is
a
symbol
.