CellComplex -- the class of all cell complexes

Functions and methods returning a cell complex:

• cellComplex -- create a cell complex
• cellComplex(Ring,List) -- see cellComplex -- create a cell complex
• cellComplex(Ring,PolyhedralComplex) -- creates cell complex from given polyhedral complex
• cellComplex(Ring,Polyhedron) -- creates cell complex from given polyhedron
• cellComplex(Ring,SimplicialComplex) -- Creates a cell complex from a given simplicial complex
• cellComplexRPn -- gives a $RP^n$ as a cell complex
• cellComplexRPn(Ring,ZZ) -- see cellComplexRPn -- gives a $RP^n$ as a cell complex
• cellComplexSphere -- gives a sphere as a cell complex
• cellComplexSphere(Ring,ZZ) -- see cellComplexSphere -- gives a sphere as a cell complex
• cellComplexTorus -- gives a torus as a cell complex
• cellComplexTorus(Ring,ZZ) -- see cellComplexTorus -- gives a torus as a cell complex
• hullComplex -- gives the hull complex of a monomial ideal
• hullComplex(MonomialIdeal) -- see hullComplex -- gives the hull complex of a monomial ideal
• hullComplex(QQ,MonomialIdeal) -- see hullComplex -- gives the hull complex of a monomial ideal
• hullComplex(ZZ,MonomialIdeal) -- see hullComplex -- gives the hull complex of a monomial ideal
• relabelCellComplex -- relabels a cell complex
• relabelCellComplex(CellComplex,HashTable) -- see relabelCellComplex -- relabels a cell complex
• RingMap ** CellComplex -- tensors labels via a ring map
• scarfComplex -- gives the hull complex of a monomial ideal
• scarfComplex(MonomialIdeal) -- see scarfComplex -- gives the hull complex of a monomial ideal
• skeleton(ZZ,CellComplex) -- computes the $r$-skeleton of a cell complex
• CellComplex _ List -- see subcomplex -- the subcomplex induced by a degree or monomial
• CellComplex _ RingElement -- see subcomplex -- the subcomplex induced by a degree or monomial
• CellComplex _ ZZ -- see subcomplex -- the subcomplex induced by a degree or monomial
• subcomplex -- the subcomplex induced by a degree or monomial
• subcomplex(CellComplex,List) -- see subcomplex -- the subcomplex induced by a degree or monomial
• subcomplex(CellComplex,RingElement) -- see subcomplex -- the subcomplex induced by a degree or monomial
• subcomplex(CellComplex,ZZ) -- see subcomplex -- the subcomplex induced by a degree or monomial
• taylorComplex -- gives the Taylor complex of a monomial ideal
• taylorComplex(MonomialIdeal) -- see taylorComplex -- gives the Taylor complex of a monomial ideal

Methods that use a cell complex:

• boundaryMap(ZZ,CellComplex) -- compute the boundary map of a cell complex from r-faces to (r-1)-faces
• cells(CellComplex) -- see cells -- return the cells of a cell complex as a hashtable whose keys are cell dimensions
• cells(ZZ,CellComplex) -- return the cells of a cell complex
• complex(CellComplex) -- compute the cellular chain complex for a cell complex
• describe(CellComplex) -- Describes a cell complex or cell
• dim(CellComplex) -- compute the dimension of a cell complex
• facePoset(CellComplex) -- generates the face poset of a cell complex
• HH CellComplex -- compute the homology modules of a cell complex
• HH^ZZ CellComplex -- cohomology of a cell complex
• HH_ZZ CellComplex -- compute the homology modules of a cell complex
• isFree(CellComplex) -- checks if the labels of a cell complex are free modules
• isMinimal(CellComplex) -- see isMinimal -- check if a labeled cell complex supports a minimal resolution
• isWellDefined(CellComplex) -- checks if a cell complex is well defined
• maxCells(CellComplex) -- see maxCells -- gives the maximal cells of a cell complex
• net(CellComplex) -- Describes a cell complex or cell
• ring(CellComplex) -- return the base ring of a cell complex
• texMath(CellComplex) -- Describes a cell complex or cell using TeX

For the programmer

The object CellComplex is a type, with ancestor classes HashTable < Thing.

The source of this document is in /build/reproducible-path/macaulay2-1.26.05+ds/M2/Macaulay2/packages/CellularResolutions/doc.m2:101:0.