KustinMiller : Index

• Cyclic Polytopes -- Constructing minimal resolutions for Stanley-Reisner rings of boundary complexes of cyclic polytopes
• delta -- Boundary complex of cyclic polytope.
• delta(ZZ,PolynomialRing) -- Boundary complex of cyclic polytope.
• dim(Face) -- The dimension of a face.
• Face -- The class of faces of simplicial complexes.
• face -- Generate a face.
• Face == Face -- Compare two faces.
• face(List) -- Generate a face.
• face(List,PolynomialRing) -- Generate a face.
• face(RingElement) -- Generate a face.
• isExactRes -- Test whether a chain complex is an exact resolution.
• isExactRes(ChainComplex) -- Test whether a chain complex is an exact resolution.
• isFaceOf -- Substitute a face to a different ring.
• isFaceof (missing documentation)
• isFaceOf(Face,SimplicialComplex) -- Substitute a face to a different ring.
• isSubface -- Test whether a face is a subface of another face.
• isSubface(Face,Face) -- Test whether a face is a subface of another face.
• Jerry -- The Kustin-Miller complex for Jerry
• KustinMiller -- Unprojection and the Kustin-Miller complex construction
• kustinMillerComplex -- Compute Kustin-Miller resolution of the unprojection of I in J
• kustinMillerComplex(...,Verbose=>...) -- Option to print intermediate data
• kustinMillerComplex(ChainComplex,ChainComplex,PolynomialRing) -- Compute Kustin-Miller resolution of the unprojection of I in J
• kustinMillerComplex(Ideal,Ideal,PolynomialRing) -- Compute Kustin-Miller resolution of the unprojection of I in J
• net(Face) -- Printing a face.
• resBE -- Buchsbaum-Eisenbud resolution
• resBE(Matrix) -- Buchsbaum-Eisenbud resolution
• ring(Face) -- Ring of a face.
• Stellar Subdivisions -- The Kustin-Miller complex for stellar subdivisions
• stellarSubdivision -- Compute the stellar subdivision of a simplicial complex.
• stellarSubdivision(SimplicialComplex,Face,PolynomialRing) -- Compute the stellar subdivision of a simplicial complex.
• substitute(ChainComplex,Ring) -- Substitute a chain complex to a new ring.
• substitute(Face,PolynomialRing) -- Substitute a face to a different ring.
• Tom -- The Kustin-Miller complex for Tom
• unprojectionHomomorphism -- Compute the homomorphism associated to an unprojection pair
• unprojectionHomomorphism(Ideal,Ideal) -- Compute the homomorphism associated to an unprojection pair
• vertices(Face) -- The vertices of a face of a simplicial complex.