SlackIdeals : Index

• containsFlag -- establishes whether or not a list of facet labels contains a flag in a polytope or matroid
• containsFlag(...,Object=>...) -- specify combinatorial object
• containsFlag(List,List) -- establishes whether or not a list of facet labels contains a flag in a polytope or matroid
• containsFlag(List,Matrix) -- establishes whether or not a list of facet labels contains a flag in a polytope or matroid
• containsFlag(List,Matroid) -- establishes whether or not a list of facet labels contains a flag in a polytope or matroid
• containsFlag(List,Polyhedron) -- 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
• cycleIdeal(...,CoefficientRing=>...) -- specifies the coefficient ring of the underlying ring of the ideal
• cycleIdeal(...,Object=>...) -- specify combinatorial object
• cycleIdeal(...,Saturate=>...) -- specifies saturation strategy to be used
• cycleIdeal(...,Strategy=>...) -- specifies saturation strategy to be used
• cycleIdeal(...,Vars=>...) -- specifies the variables to use to create the underlying ring of the ideal
• cycleIdeal(List) -- constructs the cycle ideal of a realization
• cycleIdeal(Matrix) -- constructs the cycle ideal of a realization
• cycleIdeal(Matroid) -- constructs the cycle ideal of a realization
• cycleIdeal(Polyhedron) -- constructs the cycle ideal of a realization
• findFlag -- computes a list of facet labels that make up a flag in a polytope
• findFlag(...,FlagElement=>...) -- a facet label that will be contained in a flag of facets of given polytope or matroid
• findFlag(...,Object=>...) -- specify combinatorial object
• findFlag(List) -- computes a list of facet labels that make up a flag in a polytope
• findFlag(Matrix) -- computes a list of facet labels that make up a flag in a polytope
• findFlag(Matroid) -- computes a list of facet labels that make up a flag in a polytope
• findFlag(Polyhedron) -- 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
• getFacetBases(...,Object=>...) -- specify combinatorial object
• getFacetBases(List) -- get a list of d-spanning elements for each facet
• getFacetBases(Matrix) -- get a list of d-spanning elements for each facet
• getFacetBases(Matroid) -- get a list of d-spanning elements for each facet
• getFacetBases(Polyhedron) -- 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
• graphFromSlackMatrix(Matrix) -- 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
• graphicIdeal(...,CoefficientRing=>...) -- specifies the coefficient ring of the underlying ring of the ideal
• graphicIdeal(...,Object=>...) -- specify combinatorial object
• graphicIdeal(...,Saturate=>...) -- specifies saturation strategy to be used
• graphicIdeal(...,Strategy=>...) -- specifies saturation strategy to be used
• graphicIdeal(...,Vars=>...) -- specifies the variables to use to create the underlying ring of the ideal
• graphicIdeal(List) -- creates the toric ideal of the non-incidence graph of a polytope
• graphicIdeal(Matrix) -- creates the toric ideal of the non-incidence graph of a polytope
• graphicIdeal(Matroid) -- creates the toric ideal of the non-incidence graph of a polytope
• graphicIdeal(Polyhedron) -- creates the toric ideal of the non-incidence graph of a polytope
• grassmannSectionIdeal -- compute the Grassmannian section ideal corresponding to a slack matrix
• grassmannSectionIdeal(...,CoefficientRing=>...) -- specifies the coefficient ring of the underlying ring of the ideal
• grassmannSectionIdeal(...,Object=>...) -- specify combinatorial object
• grassmannSectionIdeal(...,Saturate=>...) -- specifies saturation strategy to be used
• grassmannSectionIdeal(...,Strategy=>...) -- specifies saturation strategy to be used
• grassmannSectionIdeal(Cone) -- compute the Grassmannian section ideal corresponding to a slack matrix
• grassmannSectionIdeal(List) -- compute the Grassmannian section ideal corresponding to a slack matrix
• grassmannSectionIdeal(List,List) -- compute the Grassmannian section ideal corresponding to a slack matrix
• grassmannSectionIdeal(Matrix) -- compute the Grassmannian section ideal corresponding to a slack matrix
• grassmannSectionIdeal(Matrix,List) -- compute the Grassmannian section ideal corresponding to a slack matrix
• grassmannSectionIdeal(Matroid) -- compute the Grassmannian section ideal corresponding to a slack matrix
• grassmannSectionIdeal(Polyhedron) -- compute the Grassmannian section ideal corresponding to a slack matrix
• Object -- select the combinatorial object which the input should be interpreted as
• reconstructSlackMatrix -- a list of facet labels that make up a flag in a polytope
• reconstructSlackMatrix(...,CoefficientRing=>...) -- specifies the coefficient ring of the underlying ring of the ideal
• reconstructSlackMatrix(...,Vars=>...) -- specifies the variables to use to create the underlying ring of the ideal
• reconstructSlackMatrix(Matrix,List) -- a list of facet labels that make up a flag in a polytope
• reconstructSlackMatrix(Matrix,List,List) -- a list of facet labels that make up a flag in a polytope
• reducedSlackMatrix -- a reduced slack matrix of a polytope
• reducedSlackMatrix(...,CoefficientRing=>...) -- specifies the coefficient ring of the underlying ring of the ideal
• reducedSlackMatrix(...,FlagIndices=>...) -- a list of facet labels that form a flag of facets of given polytope or matroid
• reducedSlackMatrix(...,Object=>...) -- specify combinatorial object
• reducedSlackMatrix(...,Vars=>...) -- specifies the variables to use to create the underlying ring of the ideal
• reducedSlackMatrix(List) -- a reduced slack matrix of a polytope
• reducedSlackMatrix(Matrix) -- a reduced slack matrix of a polytope
• reducedSlackMatrix(ZZ,Matrix) -- a reduced slack matrix of a polytope
• rehomogenizeIdeal -- rehomogenization of a the dehomogenized slack ideal
• rehomogenizeIdeal(...,Saturate=>...) -- specifies saturation strategy to be used
• rehomogenizeIdeal(...,Strategy=>...) -- specifies saturation strategy to be used
• rehomogenizeIdeal(ZZ,Matrix) -- rehomogenization of a the dehomogenized slack ideal
• rehomogenizeIdeal(ZZ,Matrix,Graph) -- rehomogenization of a the dehomogenized slack ideal
• rehomogenizePolynomial -- rehomogenization of a polynomial reversing the dehomogenization of the slack matrix
• rehomogenizePolynomial(Matrix) -- rehomogenization of a polynomial reversing the dehomogenization of the slack matrix
• rehomogenizePolynomial(Matrix,Matrix,Graph,RingElement) -- rehomogenization of a polynomial reversing the dehomogenization of the slack matrix
• 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
• setOnesForest(Matrix) -- sets to 1 variables in a symbolic slack matrix which corresponding to edges of a spanning forest
• slackFromGaleCircuits -- computes the slack matrix of a polytope from a Gale transform of the polytope
• slackFromGaleCircuits(...,Tolerance=>...) -- specifies the tolerance to compute the slack matrix of a polytope from a Gale transform of a polytope
• slackFromGaleCircuits(Matrix) -- computes the slack matrix of a polytope from a Gale transform of the polytope
• slackFromGalePlucker -- fill the slack matrix with Plücker coordinates of the Gale transform
• slackFromGalePlucker(List,List) -- fill the slack matrix with Plücker coordinates of the Gale transform
• slackFromGalePlucker(List,Matrix) -- fill the slack matrix with Plücker coordinates of the Gale transform
• slackFromPlucker -- fill the slack matrix of a given polytope, cone or matroid with Plücker coordinates
• slackFromPlucker(...,Object=>...) -- specify combinatorial object
• slackFromPlucker(List) -- fill the slack matrix of a given polytope, cone or matroid with Plücker coordinates
• slackFromPlucker(List,List) -- fill the slack matrix of a given polytope, cone or matroid with Plücker coordinates
• slackFromPlucker(Matroid) -- fill the slack matrix of a given polytope, cone or matroid with Plücker coordinates
• slackFromPlucker(Polyhedron) -- fill the slack matrix of a given polytope, cone or matroid with Plücker coordinates
• slackIdeal -- computes the slack ideal
• slackIdeal(...,CoefficientRing=>...) -- specifies the coefficient ring of the underlying ring of the ideal
• slackIdeal(...,Object=>...) -- specify combinatorial object
• slackIdeal(...,Saturate=>...) -- specifies saturation strategy to be used
• slackIdeal(...,Strategy=>...) -- specifies saturation strategy to be used
• slackIdeal(...,Vars=>...) -- specifies the variables to use to create the underlying ring of the ideal
• slackIdeal(Cone) -- computes the slack ideal
• slackIdeal(List) -- computes the slack ideal
• slackIdeal(Matrix) -- computes the slack ideal
• slackIdeal(Matroid) -- computes the slack ideal
• slackIdeal(Polyhedron) -- computes the slack ideal
• slackIdeal(ZZ,List) -- computes the slack ideal
• slackIdeal(ZZ,Matrix) -- computes the slack ideal
• SlackIdeals -- a package for slack ideals of polytopes and matroids
• slackMatrix -- computes the slack matrix of a given realization
• slackMatrix(...,Object=>...) -- specify combinatorial object
• slackMatrix(Cone) -- computes the slack matrix of a given realization
• slackMatrix(List) -- computes the slack matrix of a given realization
• slackMatrix(Matroid) -- computes the slack matrix of a given realization
• slackMatrix(Polyhedron) -- computes the slack matrix of a given realization
• specificSlackMatrix -- creates built-in slack matrices of some polytopes and matroids
• specificSlackMatrix(String) -- creates built-in slack matrices of some polytopes and matroids
• symbolicSlackMatrix -- computes the symbolic slack matrix
• symbolicSlackMatrix(...,CoefficientRing=>...) -- specifies the coefficient ring of the underlying ring of the matrix
• symbolicSlackMatrix(...,Object=>...) -- specify combinatorial object
• symbolicSlackMatrix(...,Vars=>...) -- specifies the variables to use to create the underlying ring of the matrix
• symbolicSlackMatrix(Cone) -- computes the symbolic slack matrix
• symbolicSlackMatrix(List) -- computes the symbolic slack matrix
• symbolicSlackMatrix(Matrix) -- computes the symbolic slack matrix
• symbolicSlackMatrix(Matroid) -- computes the symbolic slack matrix
• symbolicSlackMatrix(Polyhedron) -- computes the symbolic slack matrix
• symbolicSlackOfPlucker -- fill the slack matrix with Plücker variables
• symbolicSlackOfPlucker(...,CoefficientRing=>...) -- specifies the coefficient ring of the underlying ring of the matrix
• symbolicSlackOfPlucker(...,Object=>...) -- specify combinatorial object
• symbolicSlackOfPlucker(List) -- fill the slack matrix with Plücker variables
• symbolicSlackOfPlucker(List,List) -- fill the slack matrix with Plücker variables
• symbolicSlackOfPlucker(Matrix) -- fill the slack matrix with Plücker variables
• symbolicSlackOfPlucker(Matrix,List) -- fill the slack matrix with Plücker variables
• symbolicSlackOfPlucker(Matroid) -- fill the slack matrix with Plücker variables
• symbolicSlackOfPlucker(Polyhedron) -- fill the slack matrix with Plücker variables
• symbolicSlackOfPlucker(ZZ,List) -- fill the slack matrix with Plücker variables
• Tolerance -- choose the tolerance to approximate computations over the field RR
• toricPolytope -- computes the polytope whose toric ideal is the given ideal
• toricPolytope(Ideal) -- computes the polytope whose toric ideal is the given ideal
• universalIdeal -- computes the universal realization ideal of a matroid
• universalIdeal(...,CoefficientRing=>...) -- specifies the coefficient ring of the underlying ring of the ideal
• universalIdeal(...,Vars=>...) -- specifies the variables to use to create the underlying ring of the ideal
• universalIdeal(List) -- computes the universal realization ideal of a matroid
• universalIdeal(Matroid) -- computes the universal realization ideal of a matroid
• Vars -- give a set of variables for the polynomial ring where the object created will live