SlackIdeals : Table of Contents
-
SlackIdeals -- a package for slack ideals of polytopes and matroids
-
containsFlag -- establishes whether or not a list of facet labels contains a flag in a polytope or matroid
-
-
cycleIdeal -- constructs the cycle ideal of a realization
-
-
-
-
-
-
findFlag -- computes a list of facet labels that make up a flag in a polytope
-
-
-
FlagElement -- a facet label that will be contained in a flag of facets of given polytope or matroid
-
FlagIndices -- a list of facet labels that form a flag of facets of given polytope or matroid
-
getFacetBases -- get a list of d-spanning elements for each facet
-
-
graphFromSlackMatrix -- creates the vertex-edge incidence matrix for the bipartite non-incidence graph with adjacency matrix the given slack matrix
-
graphicIdeal -- creates the toric ideal of the non-incidence graph of a polytope
-
-
-
-
-
-
-
-
-
-
-
Object -- select the combinatorial object which the input should be interpreted as
-
-
-
-
-
-
-
-
-
-
-
-
-
Saturate -- choose whether to saturate with respect to the product of all variables at the same time or variable by variable.
-
setOnesForest -- sets to 1 variables in a symbolic slack matrix which corresponding to edges of a spanning forest
-
-
-
-
slackFromPlucker -- fill the slack matrix of a given polytope, cone or matroid with Plücker coordinates
-
-
-
-
-
-
-
-
slackMatrix -- computes the slack matrix of a given realization
-
-
-
-
-
-
-
-
-
-
Tolerance -- choose the tolerance to approximate computations over the field RR
-
toricPolytope -- computes the polytope whose toric ideal is the given ideal
-
universalIdeal -- computes the universal realization ideal of a matroid
-
-
-
Vars -- give a set of variables for the polynomial ring where the object created will live