FiniteSimplicialComplex VSΒΆ

alg_top.spad line 1724

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:

=: (%, %) -> Boolean
from BasicType
~=: (%, %) -> Boolean
from BasicType
addImpliedFaces: % -> List List OrientedFacet
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)).
addSimplex: (%, OrientedFacet) -> %
Add a facet to this simplex If the facet is also in the list then, dont append, instead change the multiplier. Used by boundary function
boundary: % -> %
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.
chain: % -> ChainComplex
returns a matrix sequence representing the face maps in linear algebra form For more information: url{http://www.euclideanspace.com/prog/scratchpad/mycode/topology/chain/index.htm}
coChain: % -> CoChainComplex VS
returns a matrix sequence representing the face maps in linear algebra form For more information: url{http://www.euclideanspace.com/prog/scratchpad/mycode/topology/chain/cochain/index.htm}
coerce: % -> DeltaComplex VS
coerce SimplicialComplex to DeltaComplex
coerce: % -> OutputForm
from CoercibleTo OutputForm
coHomology: % -> List Homology
calculate cohomology using SmithNormalForm url{http://www.euclideanspace.com/prog/scratchpad/mycode/topology/homology/cohomol/index.htm}
cone: (%, NonNegativeInteger) -> %
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.
fundamentalGroup: % -> GroupPresentation
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: url{http://www.euclideanspace.com/prog/scratchpad/mycode/topology/homotopy/index.htm}
fundamentalGroup: (%, Boolean, Boolean) -> GroupPresentation
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: url{http://www.euclideanspace.com/prog/scratchpad/mycode/topology/homotopy/index.htm}
grade: % -> List List OrientedFacet
a function to grade simplexes according to their lengths. This nests the lists according to their length. Verticies, edges, trianges and so on. The list is returned in reverse order, that is, it starts at highest grade and works down.
hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
homology: % -> List Homology
calculate homology using SmithNormalForm For more information: url{http://www.euclideanspace.com/prog/scratchpad/mycode/topology/homology/index.htm}
latex: % -> String
from SetCategory
link: (%, OrientedFacet) -> %
The ‘link’ of a simplicial complex and a vertex contains the boundary of the simplexes of s which include simplex.
makeDisjoint: (%, %) -> %
If index numbers of 'b' overlap with index numbers of ‘a’ then refactor 'b' so that it does not overlap.
maxIndex: % -> NonNegativeInteger
find the maximum index.
merge: (%, %) -> %
Forms union of two simplicial complexes.
minIndex: % -> NonNegativeInteger
find the minimum index.
oneSkeleton: % -> DirectedGraph NonNegativeInteger
generates graph AKA 1-skeleton
product: (%, %) -> %
Forms product of two simplicial complexes. For more detailed explanation of simplex product code see: url{http://www.euclideanspace.com/prog/scratchpad/mycode/topology/simplex/product/} Also see Hatcher [9]. page 277 - The simplical 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.
refactorIndexes: (%, NonNegativeInteger) -> %
add 'n' to all indexes without changing the structure of this simplicial complex.
simplicialComplex: (List VS, List List NonNegativeInteger) -> %
constructor where the simplices are supplied
simplicialComplex: (List VS, NonNegativeInteger, List List NonNegativeInteger) -> %
constructor where the simplices are supplied
simplicialComplex: List VS -> %
construct empty simplex
simplicialComplexIfCan: (DeltaComplex VS, Boolean) -> Union(%, failed)
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.
simplicialComplexIfCan: DeltaComplex VS -> Union(%, failed)
construct FiniteSimplicialComplex from DeltaComplex. If there are ‘implied’ loops, such as facets with multiple entries with the same index, then this function may fail.
simplicialJoin: (%, %, Boolean) -> %
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: url{http://www.euclideanspace.com/prog/scratchpad/mycode/topology/simplex/join/index.htm}
sort: % -> %
sort
star: (%, OrientedFacet) -> %
The ‘star’ of a simplicial complex and a facet contains only the faces of s which include simplex.

BasicType

CoercibleTo OutputForm

SetCategory