KustinMiller : Table of Contents
- 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
- link -- The link of a face of a complex.
- 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.