alg_top.spad line 1711 [edit on github]
A Finite Simplicial Complex for more documentation see: http://www.euclideanspace.com/prog/scratchpad/mycode/topology/simplex/ Date Created: Dec 2015 Basic Operations: star, link, cone, product Related packages: Related categories: Related Domains: DeltaComplex is an alternative representation which is less compact but allows edges, triangles, etc to be indexed. Also See: AMS Classifications:
a function to take a set of faces and add those that are implied by the simplecicalComplex conventions (if they don't already exist). For example, if the input is a triangle ((1, 2, 3)) then we would add: its points ((1), (2), (3)). and its edges ((1, 2), (1, 3), (2, 3)).
Add a facet to this simplex If the facet is also in the list then, do not append, instead change the multiplier. Used by boundary function
Step down to the next lower dimension, this is like hollowing out the complex. It takes the highest dimension entries and replaces them with their boundaries, cancelling out where it can.
returns a matrix sequence representing the face maps in linear algebra form For more information: htm
returns a matrix sequence representing the face maps in linear algebra form For more information: htm
calculate cohomology using SmithNormalForm htm
coerce SimplicialComplex to DeltaComplex
The 'cone' of a simplicial complex is formed by adding the vertex to every facet. 'vertex' should not already be included in existing faces, this is not checked and so will lead to simplexes with duplicate vertices.
Generates fundamental group from this simplicial complex. This works by converting to a DeltaComplex and then generating the fundamentalGroup from that. This is not the most efficient method because the conversion generates lots of higher order faceMaps which are not used. This will attempt to simplify the group presentation, if you don't want this use alternative function of same name. For more information: htm
Generates fundamental group from this simplicial complex. This works by converting to a DeltaComplex and then generating the fundamentalGroup from that. This is not the most efficient method because the conversion generates lots of higher order faceMaps which are not used. This version has options to: simplify - if true attempts to simplify the group presentation trace - if true outputs trace of simplification rules used. For more information: htm
a function to grade simplexes according to their lengths. This nests the lists according to their length. Vertices, edges, triangles and so on. The list is returned in reverse order, that is, it starts at highest grade and works down.
calculate homology using SmithNormalForm For more information: htm
The 'link' of a simplicial complex and a vertex contains the boundary of the simplexes of s which include simplex.
If index numbers of 'b' overlap with index numbers of 'a' then refactor 'b' so that it does not overlap.
find the maximum index.
Forms union of two simplicial complexes.
find the minimum index.
generates graph AKA 1-skeleton
Forms product of two simplicial complexes. For more detailed explanation of simplex product code see: Also see Hatcher [9]. page 277 - The simplicial cross product. page 278 - The cohomology cross product. Returns list, each entry is a 'lattice path' from (0, 0) to (x, y) where x is number of entries in sa and y is number of entries in sb.
add 'n' to all indexes without changing the structure of this simplicial complex.
construct empty simplex
constructor where the simplices are supplied
constructor where the simplices are supplied
construct FiniteSimplicialComplex from DeltaComplex. If there are 'implied' loops, such as facets with multiple entries with the same index, then this function may fail.
construct FiniteSimplicialComplex from DeltaComplex with trace. If there are 'implied' loops, such as facets with multiple entries with the same index, then this function may fail.
Forms join of two simplicial complexes. The join S*T of two simplicial sets S and T is a new simplicial set that may geometrically be thought of as a cone over T with tip of shape S. simplicialJoin is commutative and associative. For more information: htm
sort
The 'star' of a simplicial complex and a facet contains only the faces of s which include simplex.