• KustinMiller -- Unprojection and the Kustin-Miller complex construction
• Complex -- The class of all simplicial complexes.
• complex -- Create a complex.
• Complex == Complex -- Compare two complexes.
• complexToIdeal -- Compute the Stanley-Reisner ideal.
• Cyclic Polytopes -- Constructing minimal resolutions for Stanley-Reisner rings of boundary complexes of cyclic polytopes
• delta -- Boundary complex of cyclic polytope.
• differentials -- Generate the differentials of the Kustin-Miller resolution
• dimension -- The dimension of a simplicial complex or a face of a simplicial complex.
• dualComplex -- Dualize a chain complex
• Face -- The class of faces of simplicial complexes.
• face -- Generate a face.
• Face == Face -- Compare two faces.
• faceIdeal -- The ideal of a face of a simplicial complex.
• faces -- Returns the faces of a complex
• facets -- The facets of a simplicial complex.
• fvector -- Returns the F-vector of a complex
• idealToComplex -- Compute the Stanley-Reisner complex.
• isExactRes -- Test whether a chain complex is exact.
• isFace -- Test whether a face is a face of a given complex.
• isSubface -- Test whether a face is a subface of another face.
• kustinMillerComplex -- Compute Kustin-Miller resolution of the unprojection of I in J
• net(Face) -- Printing faces or cones.
• resBE -- Buchsbaum-Eisenbud resolution
• ring(Complex) -- The underlying polynomial ring of a simplicial complex.
• ring(Face) -- The underlying polynomial ring of a face.
• shiftComplex -- Shift the indexing of a chain complex
• Stellar Subdivisions -- The Kustin-Miller complex for stellar subdivisions
• stellarSubdivision -- Compute the stellar subdivision of a simplicial complex.
• subRing -- Option to consider the link as a complex on its natural set of vertices
• substitute(ChainComplex,Ring) -- Substitute a chain complex to a new ring.
• substituteComplex -- Substitute a complex to a different ring.
• substituteFace -- Substitute a face to a different ring.
• Tom -- The Kustin-Miller complex for Tom
• unprojectionHomomorphism -- Compute the homomorphism associated to an unprojection pair
• verbose -- Option to print intermediate data
• vertices -- The vertices of a face of a simplicial complex.