Macaulay2
»
Documentation
Packages
»
SRdeformations
::
Table of Contents
next | previous | forward | backward | up |
index
|
toc
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.