AbstractSimplicialComplexes : Table of Contents

• AbstractSimplicialComplexes -- a package for working with abstract simplicial complexes
• AbstractSimplicialComplex -- the type of all abstract simplicial complexes
• abstractSimplicialComplex -- the AbstractSimplicialComplex that is determined by an abstract simplicial complex
• AbstractSimplicialComplex == AbstractSimplicialComplex -- decide if two simplicial complexes are equal
• AbstractSimplicialComplex _ ZZ -- the $k$ faces of a simplicial complex
• abstractSimplicialComplexFacets -- the facets of a simplicial complex
• ambientAbstractSimplicialComplex -- the ambient simplex
• ambientAbstractSimplicialComplexSize -- the ambient simplex size
• Calculations with random simplicial complexes -- homological calculations on random simplicial complexes
• describe(AbstractSimplicialComplex) -- real description
• dim(AbstractSimplicialComplex) -- the dimension of a simplicial complex
• How to make abstract simplicial complexes -- using the type AbstractSimplicialComplexes to represent abstract simplicial complexes
• How to make reduced and non-reduced simplicial chain complexes -- simplicial homological constructors
• How to make subsimplical complexes and induced simplicial chain complex maps -- induced simplicial chain complex maps via subsimplicial complexes
• inducedReducedSimplicialChainComplexMap -- the induced maps that arise via inclusions of abstract simplicial complexes
• inducedSimplicialChainComplexMap -- the induced maps that arise via inclusions of abstract simplicial complexes
• new AbstractSimplicialComplex
• randomAbstractSimplicialComplex -- create a random abstract simplicial complex
• randomSubSimplicialComplex -- create a random subsimplicial complex
• reducedSimplicialChainComplex -- the reduced homological chain complex that is determined by an abstract simplicial complex
• simplicialChainComplex -- the non-reduced homological chain complex that is determined by an abstract simplicial complex