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.
- isExactRes -- Test whether a chain complex is an exact resolution.
- isExactRes(ChainComplex) -- Test whether a chain complex is an exact resolution.
- 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
- resBE -- Buchsbaum-Eisenbud resolution
- resBE(Matrix) -- Buchsbaum-Eisenbud resolution
- 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.
- 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