SRdeformations : Table of Contents

• SRdeformations -- Deformations of Stanley-Reisner rings and related computations.
• addCokerGrading -- Stores a cokernel grading in a polynomial ring.
• addFaceDataToComplex -- Adds to a complex face data.
• addFacetDataToComplex -- Adds to a complex facet data.
• bigTorusDegree -- The big torus degree of a deformation.
• boundaryCyclicPolytope -- The boundary complex of a cyclic polytope.
• boundaryOfPolytope -- The boundary of a polytope.
• closedStar -- The closed star of a face of a complex.
• CoComplex -- The class of all embedded co-complexes.
• coComplex -- Make a co-complex.
• coComplexToIdeal -- The monomial ideal associated to a CoComplex.
• cokerElement -- Gives an element in the cokernel of a matrix.
• complement(Complex) -- Compute the complement CoComplex.
• complement(Face) -- Compute the complement face of a simplex.
• complementComplex -- Optional data of Complex.
• Complex -- The class of all embedded complexes.
• complex -- Make a complex.
• Complex == Complex -- Compare two complexes.
• complexFromFacets -- Make a complex from its facets.
• complexToIdeal -- The monomial ideal associated to a complex.
• computeFaces -- Compute faces of a simplex.
• convHull -- The convex hull complex.
• coordinates -- The coordinates of a face.
• deform -- Compute the deformations associated to a Stanley-Reisner complex.
• deformationsFace -- Compute the deformations associated to a face.
• degree(FirstOrderDeformation) -- The small torus degree of a deformation.
• denominator(FirstOrderDeformation) -- The denominator of a deformation as a vector.
• denominatorMonomial -- The denominator monomial of a deformation.
• dim(Complex) -- Compute the dimension of a complex or co-complex.
• dim(Face) -- Compute the dimension of a face.
• dim(Face,Complex) -- Compute the dimension of a face.
• dim(Face,PolynomialRing) -- Compute the dimension of a face.
• dim(FirstOrderDeformation) -- Compute the dimension of a deformation.
• dualComplex -- Optional data of Complex.
• dualFace -- Optional data of Face.
• dualGrading -- The dual vertices of a polytope.
• dualize -- The dual of a face or complex.
• edim -- The embedding dimension of a complex or co-complex.
• embedded -- Use only faces of the embedding complex.
• embeddingComplex -- The embedding complex of a complex or co-complex.
• eulerCharacteristic -- The Euler characteristic of a complex.
• Example first order deformation -- Example accessing the data stored in a first order deformation.
• Face -- The class of all faces of complexes or co-complexes.
• face -- Generate a face.
• Face == Face -- Compare two faces.
• faceToMonomial -- The monomial of a face.
• facets -- The maximal faces of a complex.
• fc -- The faces of a complex.
• file -- Store result of a computation in a file.
• FirstOrderDeformation -- The class of all first order deformations of monomial ideals.
• firstOrderDeformation -- Makes a first order deformation.
• FirstOrderDeformation == FirstOrderDeformation -- Compare two first order deformations.
• fullCyclicPolytope -- Cyclic polytope.
• fvector -- The F-vector of a complex.
• gensSource -- Generators of the source of a deformation.
• globalSections -- The global sections of a toric divisor.
• grading -- The grading of a first order deformation or complex or polynomial ring.
• grading(Complex) -- The grading of a complex.
• grading(FirstOrderDeformation) -- The small torus grading of a deformation.
• grading(PolynomialRing) -- The coker grading of a polynomial ring.
• HH Complex -- Compute the homology of a complex.
• hull -- The positive hull complex.
• idealToCoComplex -- The co-complex associated to a reduced monomial ideal.
• idealToComplex -- The complex associated to a reduced monomial ideal.
• indices(Face) -- The indices of a face.
• intersectFaces -- The intersection of two faces.
• isEquidimensional -- Check whether a complex or co-complex is equidimensional.
• isHomogeneous(FirstOrderDeformation) -- Check whether a deformation is homogeneous.
• isNonzero -- Check whether a deformation is non-zero.
• isPolytope -- Check whether a complex is a polytope.
• isSimp -- Check whether a complex or co-complex is simplicial.
• isSubface -- Checks whether a face is a subface of another face.
• isTrivial -- Check whether a deformation is trivial.
• iszero -- Tests whether something is zero.
• joinVectors -- Converts a list of vectors to a matrix.
• laurent -- Converts an exponent vector or a deformation into a Laurent monomial.
• link -- The link of a face of a complex.
• loadDeformations -- Read the deformation data of a complex from a file.
• minimalNonFaces -- The minimal non-faces of a complex.
• mirrorSphere -- Example how to compute the mirror sphere.
• net(Complex) -- Printing complexes.
• net(Face) -- Printing faces.
• net(FirstOrderDeformation) -- Pretty print for deformations.
• newEmptyComplex -- Generates an empty complex.
• noBoundary -- Optional data of Complex.
• numerator(FirstOrderDeformation) -- The numerator of a deformation as a vector.
• numeratorMonomial -- The numerator monomial of a deformation.
• ofComplex -- The complex of a face.
• parameters -- Parameters of a deformation.
• polytopalFacets -- The facets of a polytope.
• possibleDenominators -- Possible denominators of deformations.
• preImage -- Compute the preimage.
• PT1 -- Compute the deformation polytope associated to a Stanley-Reisner complex.
• raysPPn -- The rays of the standard fan of projective space or weighted projective space.
• relationsCoefficients -- Relations between the coefficients of a deformation.
• saveDeformations -- Store the deformation data of a complex in a file.
• simplex -- Simplex in the variables of a polynomial ring.
• simplexDim -- The dimension of a face inside the vertex simplex.
• simplexRing -- The underlying polynomial ring of a deformation or face or complex.
• simplexRing(Complex) -- The underlying polynomial ring of a complex.
• simplexRing(Face) -- The underlying polynomial ring of a face.
• simplexRing(FirstOrderDeformation) -- The underlying polynomial ring of a deformation or face.
• source(FirstOrderDeformation) -- The source of a deformation.
• target(FirstOrderDeformation) -- The target of a deformation.
• toHom -- Convert a first order deformation into a homomorphism.
• totalSpace -- Total space of a deformation.
• trivialDeformations -- Compute the trivial deformations.
• tropDef -- The co-complex of tropical faces of the deformation polytope.
• variables -- The variables of a complex or co-complex.
• vectorToMonomial -- Converts an exponent vector into a monomial.
• vert -- The vertices of a face or complex.
• verticesDualPolytope -- The dual vertices of a polytope.