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.