  
  [1X28 [33X[0;0YSimplicial Complexes[133X[101X
  
  
  [1X28.1 [33X[0;0Y [133X[101X
  
  [1X28.1-1 Homology[101X
  
  [33X[1;0Y[29X[2XHomology[102X( [3XT[103X, [3Xn[103X ) [32X function[133X
  [33X[1;0Y[29X[2XHomology[102X( [3XT[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  pure cubical complex, or cubical complex, or simplicial complex [22XT[122X
  and  a non-negative integer [22Xn[122X. It returns the n-th integral homology of [22XT[122X as
  a  list  of torsion integers. If no value of [22Xn[122X is input then the list of all
  homologies of [22XT[122X in dimensions 0 to Dimension(T) is returned .[133X
  
  [33X[0;0Y[12XExamples:[112X   1   ([7X../tutorial/chap1.html[107X) ,  2  ([7X../tutorial/chap2.html[107X) ,  3
  ([7X../tutorial/chap3.html[107X) ,        4       ([7X../tutorial/chap4.html[107X) ,       5
  ([7X../tutorial/chap6.html[107X) ,        6       ([7X../tutorial/chap8.html[107X) ,       7
  ([7X../tutorial/chap9.html[107X) ,       8       ([7X../tutorial/chap10.html[107X) ,       9
  ([7X../tutorial/chap11.html[107X) , 10 ([7X../www/SideLinks/About/aboutLinks.html[107X) , 11
  ([7X../www/SideLinks/About/aboutArithmetic.html[107X) ,                           12
  ([7X../www/SideLinks/About/aboutMetrics.html[107X) ,                              13
  ([7X../www/SideLinks/About/aboutArtinGroups.html[107X) ,                          14
  ([7X../www/SideLinks/About/aboutAspherical.html[107X) ,                           15
  ([7X../www/SideLinks/About/aboutParallel.html[107X) ,                             16
  ([7X../www/SideLinks/About/aboutBredon.html[107X) ,                               17
  ([7X../www/SideLinks/About/aboutPerformance.html[107X) ,                          18
  ([7X../www/SideLinks/About/aboutCocycles.html[107X) ,                             19
  ([7X../www/SideLinks/About/aboutPersistent.html[107X) ,                           20
  ([7X../www/SideLinks/About/aboutPoincareSeries.html[107X) ,                       21
  ([7X../www/SideLinks/About/aboutCoveringSpaces.html[107X) ,                       22
  ([7X../www/SideLinks/About/aboutCoverinSpaces.html[107X) ,                        23
  ([7X../www/SideLinks/About/aboutPolytopes.html[107X) ,                            24
  ([7X../www/SideLinks/About/aboutCoxeter.html[107X) ,                              25
  ([7X../www/SideLinks/About/aboutquasi.html[107X) ,                                26
  ([7X../www/SideLinks/About/aboutCubical.html[107X) ,                              27
  ([7X../www/SideLinks/About/aboutRandomComplexes.html[107X) ,                      28
  ([7X../www/SideLinks/About/aboutRosenbergerMonster.html[107X) ,                   29
  ([7X../www/SideLinks/About/aboutDavisComplex.html[107X) ,                         30
  ([7X../www/SideLinks/About/aboutDefinitions.html[107X) ,                          31
  ([7X../www/SideLinks/About/aboutSimplicialGroups.html[107X) ,                     32
  ([7X../www/SideLinks/About/aboutExtensions.html[107X) ,                           33
  ([7X../www/SideLinks/About/aboutSpaceGroup.html[107X) ,                           34
  ([7X../www/SideLinks/About/aboutFunctorial.html[107X) ,                           35
  ([7X../www/SideLinks/About/aboutGraphsOfGroups.html[107X) ,                       36
  ([7X../www/SideLinks/About/aboutIntro.html[107X) ,                                37
  ([7X../www/SideLinks/About/aboutTensorSquare.html[107X) ,                         38
  ([7X../www/SideLinks/About/aboutLieCovers.html[107X) ,                            39
  ([7X../www/SideLinks/About/aboutTorAndExt.html[107X) ,                            40
  ([7X../www/SideLinks/About/aboutLie.html[107X) ,                                  41
  ([7X../www/SideLinks/About/aboutTwistedCoefficients.html[107X) [133X
  
  [1X28.1-2 RipsHomology[101X
  
  [33X[1;0Y[29X[2XRipsHomology[102X( [3XG[103X, [3Xn[103X ) [32X function[133X
  [33X[1;0Y[29X[2XRipsHomology[102X( [3XG[103X, [3Xn[103X, [3Xp[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  graph  [22XG[122X, a non-negative integer [22Xn[122X (and optionally a prime number
  [22Xp[122X).  It returns the integral homology (or mod p homology) in degree [22Xn[122X of the
  Rips complex of [22XG[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X28.1-3 Bettinumbers[101X
  
  [33X[1;0Y[29X[2XBettinumbers[102X( [3XT[103X, [3Xn[103X ) [32X function[133X
  [33X[1;0Y[29X[2XBettinumbers[102X( [3XT[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  pure  cubical  complex, or cubical complex, simplicial complex or
  chain  complex [22XT[122X and a non-negative integer [22Xn[122X. The rank of the n-th rational
  homology  group  [22XH_n(T,  Q)[122X is returned. If no value for n is input then the
  list of Betti numbers in dimensions 0 to Dimension(T) is returned .[133X
  
  [33X[0;0Y[12XExamples:[112X       1       ([7X../www/SideLinks/About/aboutMetrics.html[107X) ,       2
  ([7X../www/SideLinks/About/aboutTDA.html[107X) [133X
  
  [1X28.1-4 ChainComplex[101X
  
  [33X[1;0Y[29X[2XChainComplex[102X( [3XT[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  pure cubical complex, or cubical complex, or simplicial complex [22XT[122X
  and returns the (often very large) cellular chain complex of [22XT[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X   1   ([7X../tutorial/chap1.html[107X) ,  2  ([7X../tutorial/chap3.html[107X) ,  3
  ([7X../tutorial/chap9.html[107X) ,  4 ([7X../www/SideLinks/About/aboutMetrics.html[107X) , 5
  ([7X../www/SideLinks/About/aboutBredon.html[107X) ,                                6
  ([7X../www/SideLinks/About/aboutPersistent.html[107X) ,                            7
  ([7X../www/SideLinks/About/aboutCoveringSpaces.html[107X) ,                        8
  ([7X../www/SideLinks/About/aboutCoverinSpaces.html[107X) ,                         9
  ([7X../www/SideLinks/About/aboutCubical.html[107X) ,                              10
  ([7X../www/SideLinks/About/aboutSimplicialGroups.html[107X) ,                     11
  ([7X../www/SideLinks/About/aboutIntro.html[107X) [133X
  
  [1X28.1-5 CechComplexOfPureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XCechComplexOfPureCubicalComplex[102X( [3XT[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  d-dimensional  pure  cubical  complex  [22XT[122X and returns a simplicial
  complex [22XS[122X. The simplicial complex [22XS[122X has one vertex for each d-cube in [22XT[122X, and
  an  n-simplex  for  each  collection  of n+1 d-cubes with non-trivial common
  intersection. The homotopy types of [22XT[122X and [22XS[122X are equal.[133X
  
  [33X[0;0Y[12XExamples:[112X 1 ([7X../www/SideLinks/About/aboutCubical.html[107X) [133X
  
  [1X28.1-6 PureComplexToSimplicialComplex[101X
  
  [33X[1;0Y[29X[2XPureComplexToSimplicialComplex[102X( [3XT[103X, [3Xk[103X ) [32X function[133X
  
  [33X[0;0YInputs either a d-dimensional pure cubical complex [22XT[122X or a d-dimensional pure
  permutahedral  complex  [22XT[122X together with a non-negative integer [22Xk[122X. It returns
  the  first  [22Xk[122X dimensions of a simplicial complex [22XS[122X. The simplicial complex [22XS[122X
  has one vertex for each d-cell in [22XT[122X, and an n-simplex for each collection of
  n+1  d-cells  with  non-trivial common intersection. The homotopy types of [22XT[122X
  and [22XS[122X are equal.[133X
  
  [33X[0;0YFor a pure cubical complex [22XT[122X this uses a slightly different algorithm to the
  function   CechComplexOfPureCubicalComplex(T)   but   constructs   the  same
  simplicial complex.[133X
  
  [33X[0;0Y[12XExamples:[112X 1 ([7X../www/SideLinks/About/aboutCubical.html[107X) [133X
  
  [1X28.1-7 RipsChainComplex[101X
  
  [33X[1;0Y[29X[2XRipsChainComplex[102X( [3XG[103X, [3Xn[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  graph  [22XG[122X  and a non-negative integer [22Xn[122X. It returns [22Xn+1[122X terms of a
  chain  complex  whose homology is that of the nerve (or Rips complex) of the
  graph in degrees up to [22Xn[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X 1 ([7X../www/SideLinks/About/aboutMetrics.html[107X) [133X
  
  [1X28.1-8 VectorsToSymmetricMatrix[101X
  
  [33X[1;0Y[29X[2XVectorsToSymmetricMatrix[102X( [3XM[103X ) [32X function[133X
  [33X[1;0Y[29X[2XVectorsToSymmetricMatrix[102X( [3XM[103X, [3Xdistance[103X ) [32X function[133X
  
  [33X[0;0YInputs a matrix [22XM[122X of rational numbers and returns a symmetric matrix [22XS[122X whose
  [22X(i,j)[122X  entry  is  the distance between the [22Xi[122X-th row and [22Xj[122X-th rows of [22XM[122X where
  distance  is  given  by  the  sum  of  the absolute values of the coordinate
  differences.[133X
  
  [33X[0;0YOptionally,  a  function  distance(v,w) can be entered as a second argument.
  This  function  has  to  return  a rational number for each pair of rational
  vectors [22Xv,w[122X of length Length(M[1]).[133X
  
  [33X[0;0Y[12XExamples:[112X 1 ([7X../www/SideLinks/About/aboutMetrics.html[107X) [133X
  
  [1X28.1-9 EulerCharacteristic[101X
  
  [33X[1;0Y[29X[2XEulerCharacteristic[102X( [3XT[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  pure cubical complex, or cubical complex, or simplicial complex [22XT[122X
  and returns its Euler characteristic.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X28.1-10 MaximalSimplicesToSimplicialComplex[101X
  
  [33X[1;0Y[29X[2XMaximalSimplicesToSimplicialComplex[102X( [3XL[103X ) [32X function[133X
  
  [33X[0;0YInputs a list L whose entries are lists of vertices representing the maximal
  simplices  of a simplicial complex. The simplicial complex is returned. Here
  a "vertex" is a GAP object such as an integer or a subgroup.[133X
  
  [33X[0;0Y[12XExamples:[112X   1   ([7X../tutorial/chap1.html[107X) ,  2  ([7X../tutorial/chap3.html[107X) ,  3
  ([7X../www/SideLinks/About/aboutCoveringSpaces.html[107X) ,                        4
  ([7X../www/SideLinks/About/aboutCoverinSpaces.html[107X) ,                         5
  ([7X../www/SideLinks/About/aboutCubical.html[107X) [133X
  
  [1X28.1-11 SkeletonOfSimplicialComplex[101X
  
  [33X[1;0Y[29X[2XSkeletonOfSimplicialComplex[102X( [3XS[103X, [3Xk[103X ) [32X function[133X
  
  [33X[0;0YInputs a simplicial complex [22XS[122X and a positive integer [22Xk[122X less than or equal to
  the  dimension  of  [22XS[122X.  It  returns  the  truncated [22Xk[122X-dimensional simplicial
  complex [22XS^k[122X (and leaves [22XS[122X unchanged).[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X28.1-12 GraphOfSimplicialComplex[101X
  
  [33X[1;0Y[29X[2XGraphOfSimplicialComplex[102X( [3XS[103X ) [32X function[133X
  
  [33X[0;0YInputs a simplicial complex [22XS[122X and returns the graph of [22XS[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X   1   ([7X../tutorial/chap2.html[107X) ,  2  ([7X../tutorial/chap4.html[107X) ,  3
  ([7X../www/SideLinks/About/aboutRandomComplexes.html[107X) [133X
  
  [1X28.1-13 ContractibleSubcomplexOfSimplicialComplex[101X
  
  [33X[1;0Y[29X[2XContractibleSubcomplexOfSimplicialComplex[102X( [3XS[103X ) [32X function[133X
  
  [33X[0;0YInputs  a simplicial complex [22XS[122X and returns a (probably maximal) contractible
  subcomplex of [22XS[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X28.1-14 PathComponentsOfSimplicialComplex[101X
  
  [33X[1;0Y[29X[2XPathComponentsOfSimplicialComplex[102X( [3XS[103X, [3Xn[103X ) [32X function[133X
  
  [33X[0;0YInputs a simplicial complex [22XS[122X and a nonnegative integer [22Xn[122X. If [22Xn=0[122X the number
  of  path  components  of [22XS[122X is returned. Otherwise the n-th path component is
  returned (as a simplicial complex).[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X28.1-15 QuillenComplex[101X
  
  [33X[1;0Y[29X[2XQuillenComplex[102X( [3XG[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  finite  group  [22XG[122X  and returns, as a simplicial complex, the order
  complex of the poset of non-trivial elementary abelian subgroups of [22XG[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X             1             ([7X../tutorial/chap1.html[107X) ,             2
  ([7X../www/SideLinks/About/aboutBredon.html[107X) ,                                3
  ([7X../www/SideLinks/About/aboutCubical.html[107X) [133X
  
  [1X28.1-16 SymmetricMatrixToIncidenceMatrix[101X
  
  [33X[1;0Y[29X[2XSymmetricMatrixToIncidenceMatrix[102X( [3XS[103X, [3Xt[103X ) [32X function[133X
  [33X[1;0Y[29X[2XSymmetricMatrixToIncidenceMatrix[102X( [3XS[103X, [3Xt[103X, [3Xd[103X ) [32X function[133X
  
  [33X[0;0YInputs  a symmetric integer matrix S and an integer t. It returns the matrix
  [22XM[122X with [22XM_ij=1[122X if [22XI_ij[122X is less than [22Xt[122X and [22XI_ij=1[122X otherwise.[133X
  
  [33X[0;0YAn  optional  integer  [22Xd[122X  can be given as a third argument. In this case the
  incidence  matrix  should  have  roughly  at  most  [22Xd[122X  entries  in  each row
  (corresponding to the [22Xd[122X smallest entries in each row of [22XS[122X).[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X28.1-17 IncidenceMatrixToGraph[101X
  
  [33X[1;0Y[29X[2XIncidenceMatrixToGraph[102X( [3XM[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  symmetric  0/1 matrix M. It returns the graph with one vertex for
  each  row of [22XM[122X and an edges between vertices [22Xi[122X and [22Xj[122X if the [22X(i,j)[122X entry in [22XM[122X
  equals 1.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X28.1-18 CayleyGraphOfGroup[101X
  
  [33X[1;0Y[29X[2XCayleyGraphOfGroup[102X( [3XG[103X, [3XA[103X ) [32X function[133X
  
  [33X[0;0YInputs a group [22XG[122X and a set [22XA[122X of generators. It returns the Cayley graph.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X28.1-19 PathComponentsOfGraph[101X
  
  [33X[1;0Y[29X[2XPathComponentsOfGraph[102X( [3XG[103X, [3Xn[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  graph  [22XG[122X  and  a nonnegative integer [22Xn[122X. If [22Xn=0[122X the number of path
  components  is returned. Otherwise the n-th path component is returned (as a
  graph).[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X28.1-20 ContractGraph[101X
  
  [33X[1;0Y[29X[2XContractGraph[102X( [3XG[103X ) [32X function[133X
  
  [33X[0;0YInputs a graph [22XG[122X and tries to remove vertices and edges to produce a smaller
  graph  [22XG'[122X such that the indlusion [22XG' → G[122X induces a homotopy equivalence [22XRG →
  RG'[122X of Rips complexes. If the graph [22XG[122X is modified the function returns true,
  and otherwise returns false.[133X
  
  [33X[0;0Y[12XExamples:[112X 1 ([7X../www/SideLinks/About/aboutMetrics.html[107X) [133X
  
  [1X28.1-21 GraphDisplay[101X
  
  [33X[1;0Y[29X[2XGraphDisplay[102X( [3XG[103X ) [32X function[133X
  
  [33X[0;0YThis function uses GraphViz software to display a graph [22XG[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X       1       ([7X../www/SideLinks/About/aboutMetrics.html[107X) ,       2
  ([7X../www/SideLinks/About/aboutTopology.html[107X) [133X
  
  [1X28.1-22 SimplicialMap[101X
  
  [33X[1;0Y[29X[2XSimplicialMap[102X( [3XK[103X, [3XL[103X, [3Xf[103X ) [32X function[133X
  [33X[1;0Y[29X[2XSimplicialMapNC[102X( [3XK[103X, [3XL[103X, [3Xf[103X ) [32X function[133X
  
  [33X[0;0YInputs  simplicial  complexes  [22XK[122X  ,  [22XL[122X  and  a  function  [22Xf:  K!.vertices  →
  L!.vertices[122X  representing  a simplicial map. It returns a simplicial map [22XK →
  L[122X.   If   [22Xf[122X   does   not   happen   to   represent  a  simplicial  map  then
  SimplicialMap(K,L,f)  will  return  fail; SimplicialMapNC(K,L,f) will not do
  any check and always return something of the data type "simplicial map".[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X28.1-23 ChainMapOfSimplicialMap[101X
  
  [33X[1;0Y[29X[2XChainMapOfSimplicialMap[102X( [3Xf[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  simplicial  map  [22Xf: K → L[122X and returns the corresponding chain map
  [22XC_∗(f) : C_∗(K) → C_∗(L)[122X of the simplicial chain complexes..[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X28.1-24 SimplicialNerveOfGraph[101X
  
  [33X[1;0Y[29X[2XSimplicialNerveOfGraph[102X( [3XG[103X, [3Xd[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  graph  [22XG[122X  and  returns a [22Xd[122X-dimensional simplicial complex [22XK[122X whose
  1-skeleton  is equal to [22XG[122X. There is a simplicial inclusion [22XK → RG[122X where: (i)
  the  inclusion  induces  isomorphisms  on homotopy groups in dimensions less
  than [22Xd[122X; (ii) the complex [22XRG[122X is the Rips complex (with one [22Xn[122X-simplex for each
  complete subgraph of [22XG[122X on [22Xn+1[122X vertices).[133X
  
  [33X[0;0Y[12XExamples:[112X       1       ([7X../www/SideLinks/About/aboutMetrics.html[107X) ,       2
  ([7X../www/SideLinks/About/aboutRandomComplexes.html[107X) [133X
  
