SimplicialMap -- the class of all maps between simplicial complexes

Functions and methods returning a map of abstract simplicial complexes :

• barycentricSubdivision(SimplicialMap,Ring,Ring) -- create the map between barycentric subdivisions corresponding to a simplicial map
• map(SimplicialComplex,List) -- see map(SimplicialComplex,SimplicialComplex,Matrix) -- create a simplicial map between simplicial complexes
• map(SimplicialComplex,Matrix) -- see map(SimplicialComplex,SimplicialComplex,Matrix) -- create a simplicial map between simplicial complexes
• map(SimplicialComplex,RingMap) -- see map(SimplicialComplex,SimplicialComplex,Matrix) -- create a simplicial map between simplicial complexes
• map(SimplicialComplex,SimplicialComplex,List) -- see map(SimplicialComplex,SimplicialComplex,Matrix) -- create a simplicial map between simplicial complexes
• map(SimplicialComplex,SimplicialComplex,Matrix) -- create a simplicial map between simplicial complexes
• map(SimplicialComplex,SimplicialComplex,RingMap) -- see map(SimplicialComplex,SimplicialComplex,Matrix) -- create a simplicial map between simplicial complexes

Methods that use a map of abstract simplicial complexes :

• chainComplex(SimplicialMap) -- constructs the associated map between chain complexes
• HH SimplicialMap -- Compute the induced map on homology of a simplicial map.
• homology(Nothing,SimplicialMap) -- see HH SimplicialMap -- Compute the induced map on homology of a simplicial map.
• HH^ZZ SimplicialMap -- Compute the induced map on cohomology of a simplicial map.
• HH_ZZ SimplicialMap -- Compute the induced map on homology of a simplicial map.
• image(SimplicialMap) -- construct the image of a simplicial map
• isInjective(SimplicialMap) -- checks if a simplicial map is injective
• isSurjective(SimplicialMap) -- checks if a simplicial map is surjective
• isWellDefined(SimplicialMap) -- whether underlying data is uncontradictory
• map(SimplicialMap) -- the underlying ring map associated to a simplicial map
• matrix(SimplicialMap) -- get the underlying map of rings
• net(SimplicialMap) -- make a symbolic representation for a map of abstract simplicial complexes
• source(SimplicialMap) -- get the source of the map
• target(SimplicialMap) -- get the target of the map

For the programmer

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