Macaulay2 » Documentation
Packages » SlackIdeals :: Object

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

Object -- select the combinatorial object which the input should be interpreted as

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 Plücker coordinates
symbolicSlackOfPlucker -- fill the slack matrix with Plücker 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.

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