KustinMiller : Table of Contents

• KustinMiller -- Unprojection and the Kustin-Miller complex construction
• Cyclic Polytopes -- Constructing minimal resolutions for Stanley-Reisner rings of boundary complexes of cyclic polytopes
• delta -- 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.
• isExactRes -- Test whether a chain complex is an exact resolution.
• isFaceOf -- Substitute a face to a different ring.
• isFaceof (missing documentation)
• isSubface -- Test whether a face is a subface of another face.
• Jerry -- The Kustin-Miller complex for Jerry
• kustinMillerComplex -- Compute Kustin-Miller resolution of the unprojection of I in J
• kustinMillerComplex(...,Verbose=>...) -- Option to print intermediate data
• net(Face) -- Printing a face.
• resBE -- 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.
• 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
• vertices(Face) -- The vertices of a face of a simplicial complex.