  
  [1X29 [33X[0;0YCubical Complexes[133X[101X
  
  
  [1X29.1 [33X[0;0Y [133X[101X
  
  [1X29.1-1 ArrayToPureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XArrayToPureCubicalComplex[102X( [3XA[103X, [3Xn[103X ) [32X function[133X
  
  [33X[0;0YInputs  an  integer  array  [22XA[122X  of dimension [22Xd[122X and an integer [22Xn[122X. It returns a
  d-dimensional  pure cubical complex corresponding to the black/white "image"
  determined  by the threshold [22Xn[122X and the values of the entries in [22XA[122X. (Integers
  below  the  threshold  correspond  to  a  black  pixel,  and higher integers
  correspond to a white pixel.)[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X29.1-2 PureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XPureCubicalComplex[102X( [3XA[103X, [3Xn[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  binary  array  [22XA[122X  of  dimension  [22Xd[122X.  It returns the corresponding
  d-dimensional pure cubical complex.[133X
  
  [33X[0;0Y[12XExamples:[112X   1   ([7X../tutorial/chap2.html[107X) ,  2  ([7X../tutorial/chap3.html[107X) ,  3
  ([7X../tutorial/chap5.html[107X) ,       4       ([7X../tutorial/chap10.html[107X) ,       5
  ([7X../www/SideLinks/About/aboutLinks.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/aboutRandomComplexes.html[107X) ,                      11
  ([7X../www/SideLinks/About/aboutTDA.html[107X) ,                                  12
  ([7X../www/SideLinks/About/aboutKnots.html[107X) [133X
  
  [1X29.1-3 FramedPureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XFramedPureCubicalComplex[102X( [3XM[103X ) [32X function[133X
  
  [33X[0;0YInputs  a pure cubical complex [22XM[122X and returns the pure cubical complex with a
  border   of   zeros   attached   the   each   face  of  the  boundary  array
  M!.boundaryArray.  This  function  just  adds  a bit of space for performing
  operations such as thickenings to [22XM[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X 1 ([7X../www/SideLinks/About/aboutKnots.html[107X) [133X
  
  [1X29.1-4 RandomCubeOfPureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XRandomCubeOfPureCubicalComplex[102X( [3XM[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  pure  cubical complex [22XM[122X and returns a pure cubical complex [22XR[122X with
  precisely  the  same  dimensions  as  [22XM[122X.  The  complex [22XR[122X consist of one cube
  selected at random from [22XM[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X 1 ([7X../www/SideLinks/About/aboutKnots.html[107X) [133X
  
  [1X29.1-5 PureCubicalComplexIntersection[101X
  
  [33X[1;0Y[29X[2XPureCubicalComplexIntersection[102X( [3XS[103X, [3XT[103X ) [32X function[133X
  
  [33X[0;0YInputs  two  pure cubical complexes with common dimension and array size. It
  returns the intersection of the two complexes. (An entry in the binary array
  of  the intersection has value 1 if and only if the corresponding entries in
  the binary arrays of S and T both have value 1.)[133X
  
  [33X[0;0Y[12XExamples:[112X 1 ([7X../www/SideLinks/About/aboutTDA.html[107X) [133X
  
  [1X29.1-6 PureCubicalComplexUnion[101X
  
  [33X[1;0Y[29X[2XPureCubicalComplexUnion[102X( [3XS[103X, [3XT[103X ) [32X function[133X
  
  [33X[0;0YInputs  two  pure cubical complexes with common dimension and array size. It
  returns the union of the two complexes. (An entry in the binary array of the
  union  has  value 1 if and only if at least one of the corresponding entries
  in the binary arrays of S and T has value 1.)[133X
  
  [33X[0;0Y[12XExamples:[112X 1 ([7X../www/SideLinks/About/aboutTDA.html[107X) [133X
  
  [1X29.1-7 PureCubicalComplexDifference[101X
  
  [33X[1;0Y[29X[2XPureCubicalComplexDifference[102X( [3XS[103X, [3XT[103X ) [32X function[133X
  
  [33X[0;0YInputs  two  pure cubical complexes with common dimension and array size. It
  returns  the difference S-T. (An entry in the binary array of the difference
  has  value 1 if and only if the corresponding entry in the binary array of S
  is 1 and the corresponding entry in the binary array of T is 0.)[133X
  
  [33X[0;0Y[12XExamples:[112X         1        ([7X../www/SideLinks/About/aboutTDA.html[107X) ,        2
  ([7X../www/SideLinks/About/aboutKnots.html[107X) [133X
  
  [1X29.1-8 ReadImageAsPureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XReadImageAsPureCubicalComplex[102X( [3Xstr[103X, [3Xn[103X ) [32X function[133X
  
  [33X[0;0YReads  an  image  file [22Xstr[122X (= "file.png", "file.eps", "file.bmp" etc) and an
  integer [22Xn[122X between 0 and 765. It returns a 2-dimensional pure cubical complex
  based on the black/white version of the image determined by the threshold [22Xn[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X   1  ([7X../tutorial/chap5.html[107X) ,  2  ([7X../tutorial/chap10.html[107X) ,  3
  ([7X../www/SideLinks/About/aboutPersistent.html[107X) ,                            4
  ([7X../www/SideLinks/About/aboutCubical.html[107X) ,                               5
  ([7X../www/SideLinks/About/aboutTDA.html[107X) [133X
  
  [1X29.1-9 ReadLinkImageAsPureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XReadLinkImageAsPureCubicalComplex[102X( [3Xstr[103X ) [32X function[133X
  [33X[1;0Y[29X[2XReadLinkImageAsPureCubicalComplex[102X( [3Xstr[103X, [3Xn[103X ) [32X function[133X
  
  [33X[0;0YReads   an  image  file  [22Xstr[122X  (=  "file.png",  "file.eps",  "file.bmp"  etc)
  containing  a knot or link diagram, and optionally a positive integer [22Xn[122X. The
  integer  [22Xn[122X  should  be  a  little larger than the line thickness in the link
  diagram,  and  if not provided then [22Xn[122X is set equal to 10. The function tries
  to  output  the  corresponding  knot or link as a 3-dimensional pure cubical
  complex.  Ideally  the link diagram should be produced with line thickness 6
  in  Xfig, and the under-crossing spaces should not be too large or too small
  or  too  near  one another. The function does not always succeed: it applies
  several  checks,  and if one of these checks fails then the function returns
  "fail".[133X
  
  [33X[0;0Y[12XExamples:[112X 1 ([7X../www/SideLinks/About/aboutLinks.html[107X) [133X
  
  [1X29.1-10 ReadImageSequenceAsPureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XReadImageSequenceAsPureCubicalComplex[102X( [3Xdir[103X, [3Xn[103X ) [32X function[133X
  
  [33X[0;0YReads  the  name  of  a  directory  [22Xdir[122X containing a sequence of image files
  (ordered alphanumerically), and an integer [22Xn[122X between 0 and 765. It returns a
  3-dimensional  pure  cubical complex based on the black/white version of the
  images determined by the threshold [22Xn[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X 1 ([7X../www/SideLinks/About/aboutTDA.html[107X) [133X
  
  [1X29.1-11 Size[101X
  
  [33X[1;0Y[29X[2XSize[102X( [3XT[103X ) [32X function[133X
  
  [33X[0;0YThis  returns  the  number  of  non-zero  entries in the binary array of the
  cubical complex, or pure cubical complex T.[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/chap5.html[107X) ,        6       ([7X../tutorial/chap6.html[107X) ,       7
  ([7X../tutorial/chap7.html[107X) ,       8       ([7X../tutorial/chap10.html[107X) ,       9
  ([7X../tutorial/chap11.html[107X) ,      10      ([7X../tutorial/chap12.html[107X) ,      11
  ([7X../www/SideLinks/About/aboutLinks.html[107X) ,                                12
  ([7X../www/SideLinks/About/aboutMetrics.html[107X) ,                              13
  ([7X../www/SideLinks/About/aboutCoefficientSequence.html[107X) ,                  14
  ([7X../www/SideLinks/About/aboutPeripheral.html[107X) ,                           15
  ([7X../www/SideLinks/About/aboutCoveringSpaces.html[107X) ,                       16
  ([7X../www/SideLinks/About/aboutCoverinSpaces.html[107X) ,                        17
  ([7X../www/SideLinks/About/aboutQuandles2.html[107X) ,                            18
  ([7X../www/SideLinks/About/aboutQuandles.html[107X) ,                             19
  ([7X../www/SideLinks/About/aboutCubical.html[107X) ,                              20
  ([7X../www/SideLinks/About/aboutSimplicialGroups.html[107X) ,                     21
  ([7X../www/SideLinks/About/aboutTDA.html[107X) ,                                  22
  ([7X../www/SideLinks/About/aboutKnots.html[107X) [133X
  
  [1X29.1-12 Dimension[101X
  
  [33X[1;0Y[29X[2XDimension[102X( [3XT[103X ) [32X function[133X
  
  [33X[0;0YThis  returns  the dimension of the cubical complex, or pure cubical complex
  T.[133X
  
  [33X[0;0Y[12XExamples:[112X   1   ([7X../tutorial/chap3.html[107X) ,  2  ([7X../tutorial/chap5.html[107X) ,  3
  ([7X../tutorial/chap7.html[107X) ,                                                 4
  ([7X../www/SideLinks/About/aboutCoveringSpaces.html[107X) ,                        5
  ([7X../www/SideLinks/About/aboutCoverinSpaces.html[107X) ,                         6
  ([7X../www/SideLinks/About/aboutDefinitions.html[107X) ,                           7
  ([7X../www/SideLinks/About/aboutTDA.html[107X) ,                                   8
  ([7X../www/SideLinks/About/aboutTopology.html[107X) ,                              9
  ([7X../www/SideLinks/About/aboutLieCovers.html[107X) [133X
  
  [1X29.1-13 WritePureCubicalComplexAsImage[101X
  
  [33X[1;0Y[29X[2XWritePureCubicalComplexAsImage[102X( [3XT[103X, [3Xstr1[103X, [3Xstr2[103X ) [32X function[133X
  
  [33X[0;0YInputs  a 2-dimensional pure cubical complex T, and a filename [22Xstr1[122X followed
  by  its  extension  [22Xstr2[122X  (e.g.  [22Xstr1[122X="myfile"  followed  by  [22Xstr2[122X="png"). A
  black/white image is saved to the file.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X29.1-14 ViewPureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XViewPureCubicalComplex[102X( [3XT[103X ) [32X function[133X
  [33X[1;0Y[29X[2XViewPureCubicalComplex[102X( [3XT[103X, [3Xstr[103X ) [32X function[133X
  
  [33X[0;0YInputs a 2-dimensional pure cubical complex T, and optionally a command such
  as [22Xstr[122X="mozilla" for viewing image files. A black/white image is displayed.[133X
  
  [33X[0;0Y[12XExamples:[112X       1       ([7X../www/SideLinks/About/aboutCubical.html[107X) ,       2
  ([7X../www/SideLinks/About/aboutRandomComplexes.html[107X) ,                       3
  ([7X../www/SideLinks/About/aboutKnots.html[107X) [133X
  
  [1X29.1-15 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/chap5.html[107X) ,        6       ([7X../tutorial/chap6.html[107X) ,       7
  ([7X../tutorial/chap7.html[107X) ,        8       ([7X../tutorial/chap9.html[107X) ,       9
  ([7X../tutorial/chap10.html[107X) ,      10      ([7X../tutorial/chap11.html[107X) ,      11
  ([7X../tutorial/chap12.html[107X) ,      12      ([7X../tutorial/chap13.html[107X) ,      13
  ([7X../tutorial/chap14.html[107X) , 14 ([7X../www/SideLinks/About/aboutLinks.html[107X) , 15
  ([7X../www/SideLinks/About/aboutArithmetic.html[107X) ,                           16
  ([7X../www/SideLinks/About/aboutMetrics.html[107X) ,                              17
  ([7X../www/SideLinks/About/aboutArtinGroups.html[107X) ,                          18
  ([7X../www/SideLinks/About/aboutAspherical.html[107X) ,                           19
  ([7X../www/SideLinks/About/aboutParallel.html[107X) ,                             20
  ([7X../www/SideLinks/About/aboutBredon.html[107X) ,                               21
  ([7X../www/SideLinks/About/aboutPerformance.html[107X) ,                          22
  ([7X../www/SideLinks/About/aboutCocycles.html[107X) ,                             23
  ([7X../www/SideLinks/About/aboutPersistent.html[107X) ,                           24
  ([7X../www/SideLinks/About/aboutPoincareSeries.html[107X) ,                       25
  ([7X../www/SideLinks/About/aboutCoveringSpaces.html[107X) ,                       26
  ([7X../www/SideLinks/About/aboutCoverinSpaces.html[107X) ,                        27
  ([7X../www/SideLinks/About/aboutPolytopes.html[107X) ,                            28
  ([7X../www/SideLinks/About/aboutCoxeter.html[107X) ,                              29
  ([7X../www/SideLinks/About/aboutquasi.html[107X) ,                                30
  ([7X../www/SideLinks/About/aboutCubical.html[107X) ,                              31
  ([7X../www/SideLinks/About/aboutRandomComplexes.html[107X) ,                      32
  ([7X../www/SideLinks/About/aboutRosenbergerMonster.html[107X) ,                   33
  ([7X../www/SideLinks/About/aboutDavisComplex.html[107X) ,                         34
  ([7X../www/SideLinks/About/aboutDefinitions.html[107X) ,                          35
  ([7X../www/SideLinks/About/aboutSimplicialGroups.html[107X) ,                     36
  ([7X../www/SideLinks/About/aboutExtensions.html[107X) ,                           37
  ([7X../www/SideLinks/About/aboutSpaceGroup.html[107X) ,                           38
  ([7X../www/SideLinks/About/aboutFunctorial.html[107X) ,                           39
  ([7X../www/SideLinks/About/aboutGraphsOfGroups.html[107X) ,                       40
  ([7X../www/SideLinks/About/aboutIntro.html[107X) ,                                41
  ([7X../www/SideLinks/About/aboutTensorSquare.html[107X) ,                         42
  ([7X../www/SideLinks/About/aboutLieCovers.html[107X) ,                            43
  ([7X../www/SideLinks/About/aboutTorAndExt.html[107X) ,                            44
  ([7X../www/SideLinks/About/aboutLie.html[107X) ,                                  45
  ([7X../www/SideLinks/About/aboutTwistedCoefficients.html[107X) [133X
  
  [1X29.1-16 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
  
  [1X29.1-17 DirectProductOfPureCubicalComplexes[101X
  
  [33X[1;0Y[29X[2XDirectProductOfPureCubicalComplexes[102X( [3XM[103X, [3XN[103X ) [32X function[133X
  
  [33X[0;0YInputs  two pure cubical complexes [22XM,N[122X and returns their direct product [22XD[122X as
  a pure cubical complex. The dimension of [22XD[122X is the sum of the dimensions of [22XM[122X
  and [22XN[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X             1             ([7X../tutorial/chap10.html[107X) ,            2
  ([7X../www/SideLinks/About/aboutCubical.html[107X) [133X
  
  [1X29.1-18 SuspensionOfPureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XSuspensionOfPureCubicalComplex[102X( [3XM[103X ) [32X function[133X
  
  [33X[0;0YInputs  a pure cubical complex [22XM[122X and returns a pure cubical complex with the
  homotopy type of the suspension of [22XM[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X 1 ([7X../www/SideLinks/About/aboutCubical.html[107X) [133X
  
  [1X29.1-19 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
  
  [1X29.1-20 PathComponentOfPureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XPathComponentOfPureCubicalComplex[102X( [3XT[103X, [3Xn[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  pure  cubical  complex  [22XT[122X  and  an  integer [22Xn[122X in the rane 1, ...,
  Bettinumbers(T)[1]  .  It  returns  the  n-th  path component of [22XT[122X as a pure
  cubical  complex. The value [22Xn=0[122X is also allowed, in which case the number of
  path components is returned.[133X
  
  [33X[0;0Y[12XExamples:[112X 1 ([7X../www/SideLinks/About/aboutTDA.html[107X) [133X
  
  [1X29.1-21 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/chap4.html[107X) ,       4       ([7X../tutorial/chap10.html[107X) ,       5
  ([7X../tutorial/chap12.html[107X) , 6 ([7X../www/SideLinks/About/aboutMetrics.html[107X) , 7
  ([7X../www/SideLinks/About/aboutBredon.html[107X) ,                                8
  ([7X../www/SideLinks/About/aboutPersistent.html[107X) ,                            9
  ([7X../www/SideLinks/About/aboutCoveringSpaces.html[107X) ,                       10
  ([7X../www/SideLinks/About/aboutCoverinSpaces.html[107X) ,                        11
  ([7X../www/SideLinks/About/aboutCubical.html[107X) ,                              12
  ([7X../www/SideLinks/About/aboutSimplicialGroups.html[107X) ,                     13
  ([7X../www/SideLinks/About/aboutIntro.html[107X) [133X
  
  [1X29.1-22 ChainComplexOfPair[101X
  
  [33X[1;0Y[29X[2XChainComplexOfPair[102X( [3XT[103X, [3XS[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  pure  cubical  complex  or cubical complex [22XT[122X and subcomplex [22XS[122X. It
  returns the quotient [22XC(T)/C(S)[122X of cellular chain complexes.[133X
  
  [33X[0;0Y[12XExamples:[112X             1             ([7X../tutorial/chap10.html[107X) ,            2
  ([7X../www/SideLinks/About/aboutCubical.html[107X) [133X
  
  [1X29.1-23 ExcisedPureCubicalPair[101X
  
  [33X[1;0Y[29X[2XExcisedPureCubicalPair[102X( [3XT[103X, [3XS[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  pure  cubical complex [22XT[122X and subcomplex [22XS[122X. It returns the pair [22X[T∖
  intS,  S∖  intS])[122X  of  pure cubical complexes where [22XintS[122X is the pure cubical
  complex obtained from [22XS[122X by removing its boundary.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X29.1-24 ChainInclusionOfPureCubicalPair[101X
  
  [33X[1;0Y[29X[2XChainInclusionOfPureCubicalPair[102X( [3XS[103X, [3XT[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  pure  cubical  complex  [22XT[122X  and subcomplex [22XS[122X. It returns the chain
  inclusion [22XC(S) → C(T)[122X of cellular chain complexes.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X29.1-25 ChainMapOfPureCubicalPairs[101X
  
  [33X[1;0Y[29X[2XChainMapOfPureCubicalPairs[102X [32X global variable[133X
  
  [33X[0;0YInputs a pure cubical complex [22XN[122X and subcomplexes [22XM[122X, [22XT[122X and [22XS[122X in [22XT[122X. It returns
  the chain map [22XC(M/S) → C(N/T)[122X of quotient cellular chain complexes.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X29.1-26 ContractPureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XContractPureCubicalComplex[102X( [3XT[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  pure  cubical  complex [22XT[122X of dimension [22Xd[122X and removes [22Xd[122X-dimensional
  cells  from [22XT[122X without changing the homotopy type of [22XT[122X. When the function has
  been  applied, no further [22Xd[122X-cells can be removed from [22XT[122X without changing its
  homotopy type. This function modifies [22XT[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X 1 ([7X../www/SideLinks/About/aboutKnots.html[107X) [133X
  
  [1X29.1-27 ContractedComplex[101X
  
  [33X[1;0Y[29X[2XContractedComplex[102X( [3XT[103X ) [32X function[133X
  
  [33X[0;0YInputs a pure cubical complex [22XT[122X and returns a structural copy of the complex
  obtained from [22XT[122X by applying the function ContractPureCubicalComplex(T).[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/chap5.html[107X) ,       5
  ([7X../tutorial/chap7.html[107X) ,       6       ([7X../tutorial/chap10.html[107X) ,       7
  ([7X../tutorial/chap11.html[107X) ,       8       ([7X../tutorial/chap13.html[107X) ,      9
  ([7X../tutorial/chap14.html[107X) ,                                               10
  ([7X../www/SideLinks/About/aboutCoveringSpaces.html[107X) ,                       11
  ([7X../www/SideLinks/About/aboutCoverinSpaces.html[107X) ,                        12
  ([7X../www/SideLinks/About/aboutCubical.html[107X) ,                              13
  ([7X../www/SideLinks/About/aboutKnots.html[107X) [133X
  
  [1X29.1-28 ZigZagContractedPureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XZigZagContractedPureCubicalComplex[102X( [3XT[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  pure  cubical  complex  [22XT[122X  and returns a homotopy equivalent pure
  cubical  complex  [22XS[122X.  The  aim  is  for  [22XS[122X to involve fewer cells than [22XT[122X and
  certainly to involve no more cells than [22XT[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X        1        ([7X../www/SideLinks/About/aboutLinks.html[107X) ,       2
  ([7X../www/SideLinks/About/aboutCubical.html[107X) ,                               3
  ([7X../www/SideLinks/About/aboutKnots.html[107X) [133X
  
  [1X29.1-29 ContractCubicalComplex[101X
  
  [33X[1;0Y[29X[2XContractCubicalComplex[102X( [3XT[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  cubical complex [22XT[122X and removes cells without changing the homotopy
  type of [22XT[122X. It changes [22XT[122X. In particular, it adds the components T.vectors and
  T.rewrite of a discrete vector field.[133X
  
  [33X[0;0YAt  present this function only works for cubical complexes of dimension 2 or
  3.[133X
  
  [33X[0;0Y[12XExamples:[112X 1 ([7X../www/SideLinks/About/aboutCubical.html[107X) [133X
  
  [1X29.1-30 DVFReducedCubicalComplex[101X
  
  [33X[1;0Y[29X[2XDVFReducedCubicalComplex[102X( [3XT[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  cubical  complex [22XT[122X and returns a non-regular cubical complex [22XR[122X by
  constructing  a  discrete  vector  field.  The  vector  field is designed to
  minimize  the  number  of  critical  cells in [22XR[122X at the cost of allowing cell
  attaching maps that are not homeomorphisms on boundaries.[133X
  
  [33X[0;0YAt  present  this  function  works  only  for  2-  and 3-dimensional cubical
  complexes.[133X
  
  [33X[0;0YThe  function  ChainComplex(R)  can  be  used  to  obtain the cellular chain
  complex of [22XR[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X 1 ([7X../www/SideLinks/About/aboutCubical.html[107X) [133X
  
  [1X29.1-31 SkeletonOfCubicalComplex[101X
  
  [33X[1;0Y[29X[2XSkeletonOfCubicalComplex[102X( [3XT[103X, [3Xn[103X ) [32X function[133X
  
  [33X[0;0YInputs  a cubical complex, or pure cubical complex [22XT[122X and positive integer [22Xn[122X.
  It returns the [22Xn[122X-skeleton of [22XT[122X as a cubical complex.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X29.1-32 ContractibleSubomplexOfPureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XContractibleSubomplexOfPureCubicalComplex[102X [32X global variable[133X
  
  [33X[0;0YInputs  a  pure  cubical  complex  [22XT[122X and returns a maximal contractible pure
  cubical subcomplex.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X29.1-33 AcyclicSubomplexOfPureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XAcyclicSubomplexOfPureCubicalComplex[102X [32X global variable[133X
  
  [33X[0;0YInputs  a  pure  cubical complex [22XT[122X and returns a (not necessarily connected)
  pure  cubical subcomplex having trivial homology in all degrees greater than
  [22X0[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X29.1-34 HomotopyEquivalentMaximalPureCubicalSubcomplex[101X
  
  [33X[1;0Y[29X[2XHomotopyEquivalentMaximalPureCubicalSubcomplex[102X( [3XT[103X, [3XS[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  pure cubical complex [22XT[122X together with a pure cubical subcomplex [22XS[122X.
  It  returns a pure cubical subcomplex [22XH[122X of [22XT[122X which contains [22XS[122X and is maximal
  with respect to the property that it is homotopy equivalent to [22XS[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X29.1-35 HomotopyEquivalentMinimalPureCubicalSubcomplex[101X
  
  [33X[1;0Y[29X[2XHomotopyEquivalentMinimalPureCubicalSubcomplex[102X( [3XT[103X, [3XS[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  pure cubical complex [22XT[122X together with a pure cubical subcomplex [22XS[122X.
  It  returns a pure cubical subcomplex [22XH[122X of [22XT[122X which contains [22XS[122X and is minimal
  with respect to the property that it is homotopy equivalent to [22XT[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X 1 ([7X../tutorial/chap5.html[107X) [133X
  
  [1X29.1-36 BoundaryOfPureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XBoundaryOfPureCubicalComplex[102X( [3XT[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  pure cubical complex [22XT[122X and returns its boundary as a pure cubical
  complex.  The  boundary  consists of all cubes which have one or more facets
  that lie in just the one cube.[133X
  
  [33X[0;0Y[12XExamples:[112X 1 ([7X../www/SideLinks/About/aboutTDA.html[107X) [133X
  
  [1X29.1-37 SingularitiesOfPureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XSingularitiesOfPureCubicalComplex[102X( [3XT[103X, [3Xradius[103X, [3Xtolerance[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  pure  cubical complex [22XT[122X together with a positive integer "radius"
  and  an integer "tolerance" in the range 1..100. It returns the pure cubical
  subcomplex  of  those  cells  in  the  boundary  where  the  boundary is not
  differentiable.  (The  method  for  deciding differentiability at a point is
  crude/discrete, prone to errors and depends on the radius and tolerance.)[133X
  
  [33X[0;0Y[12XExamples:[112X 1 ([7X../www/SideLinks/About/aboutTDA.html[107X) [133X
  
  [1X29.1-38 ThickenedPureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XThickenedPureCubicalComplex[102X( [3XT[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  pure cubical complex [22XT[122X and returns a pure cubical complex [22XS[122X. If a
  euclidean  cube  is  in  [22XT[122X then this cube and all its neighbouring cubes are
  included in [22XS[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X     1    ([7X../www/SideLinks/About/aboutRandomComplexes.html[107X) ,    2
  ([7X../www/SideLinks/About/aboutTDA.html[107X) ,                                   3
  ([7X../www/SideLinks/About/aboutKnots.html[107X) [133X
  
  [1X29.1-39 CropPureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XCropPureCubicalComplex[102X( [3XT[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  pure  cubical  complex  [22XT[122X  and  returns  a pure cubical complex [22XS[122X
  obtained  from [22XT[122X by removing any "zero boundary sheets" of the binary array.
  Thus  [22XS[122X  and [22XT[122X are isometric as euclidean spaces but there may be fewer zero
  entries in the binary array for [22XS[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X29.1-40 BoundingPureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XBoundingPureCubicalComplex[102X( [3XT[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  pure  cubical  complex  [22XT[122X and returns a contractible pure cubical
  complex [22XS[122X containing [22XT[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X29.1-41 MorseFiltration[101X
  
  [33X[1;0Y[29X[2XMorseFiltration[102X( [3XM[103X, [3Xi[103X, [3Xt[103X, [3Xbool[103X ) [32X function[133X
  [33X[1;0Y[29X[2XMorseFiltration[102X( [3XM[103X, [3Xi[103X, [3Xt[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  pure cubical complex [22XM[122X of dimension [22Xd[122X, an integer [22Xi[122X between [22X1[122X and
  [22Xd[122X,  a  positive  integer  [22Xt[122X  and a boolean value True or False. The function
  returns  a  list  [22X[M_1,  M_2, ..., M_t][122X of pure cubical complexes with [22XM_k[122X a
  subcomplex  of  [22XM_k+1[122X.  The  list  is constructed by setting all slices of [22XM[122X
  perpendicular  to the [22Xi[122X-th axis equal to zero if they meet the [22Xi[122Xth axis at a
  sufficiently  high  coordinate (if bool=True) or sufficiently low coordinate
  (if bool=False).[133X
  
  [33X[0;0YIf  the  variable bool is not specified then it is assumed to have the value
  True.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X29.1-42 ComplementOfPureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XComplementOfPureCubicalComplex[102X( [3XT[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  pure  cubical  complex  [22XT[122X and returns a pure cubical complex [22XS[122X. A
  euclidean cube is in [22XS[122X precisely when the cube is not in [22XT[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X        1        ([7X../www/SideLinks/About/aboutLinks.html[107X) ,       2
  ([7X../www/SideLinks/About/aboutTDA.html[107X) ,                                   3
  ([7X../www/SideLinks/About/aboutKnots.html[107X) [133X
  
  [1X29.1-43 PureCubicalComplexToTextFile[101X
  
  [33X[1;0Y[29X[2XPureCubicalComplexToTextFile[102X( [3Xfile[103X, [3XM[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  pure  cubical  complex [22XM[122X and a string containing the address of a
  file.  A  representation  of this complex is written to the file in a format
  that can be read by the CAPD (Computer Assisted Proofs in Dynamics) software
  developed by Marian Mrozek and others.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X29.1-44 ThickeningFiltration[101X
  
  [33X[1;0Y[29X[2XThickeningFiltration[102X( [3XM[103X, [3Xn[103X ) [32X function[133X
  [33X[1;0Y[29X[2XThickeningFiltration[102X( [3XM[103X, [3Xn[103X, [3Xk[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  pure  cubical  complex  [22XM[122X  and a positive integer [22Xn[122X. It returns a
  filtered  pure  cubical  complex  constructed  frim [22Xn[122X thickenings of [22XM[122X. If a
  positive integer [22Xk[122X is supplied as an optional third argument, then each step
  of the filtration is obtained from a [22Xk[122X-fold thickening.[133X
  
  [33X[0;0Y[12XExamples:[112X             1             ([7X../tutorial/chap5.html[107X) ,             2
  ([7X../www/SideLinks/About/aboutPersistent.html[107X) [133X
  
  [1X29.1-45 Dendrogram[101X
  
  [33X[1;0Y[29X[2XDendrogram[102X( [3XM[103X ) [32X function[133X
  
  [33X[0;0YInputs a filtered pure cubical complex [22XM[122X and returns data that specifies the
  dendrogram  (or  phylogenetic  tree) describing how path components are born
  and then merge during the filtration.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X29.1-46 DendrogramDisplay[101X
  
  [33X[1;0Y[29X[2XDendrogramDisplay[102X [32X global variable[133X
  
  [33X[0;0YInputs  a  filtered  pure cubical complex [22XM[122X, or alternatively inputs the out
  from  the  command Dendrogram(M), and then uses GraphViz software to display
  the path component dendrogram of [22XM[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X29.1-47 DendrogramToPersistenceMat[101X
  
  [33X[1;0Y[29X[2XDendrogramToPersistenceMat[102X( [3XD[103X ) [32X function[133X
  
  [33X[0;0YInputs   the   output   of   the  function  Dendrogram(M)  and  returns  the
  corresponding degree 0 Betti bar code.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X29.1-48 ReadImageAsFilteredPureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XReadImageAsFilteredPureCubicalComplex[102X( [3Xfile[103X, [3Xn[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  string  containing  the  path  to  an image file, together with a
  positive integer n. It returns a filtered pure cubical complex of filtration
  length [22Xn[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X 1 ([7X../tutorial/chap5.html[107X) [133X
  
  [1X29.1-49 ComplementOfFilteredPureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XComplementOfFilteredPureCubicalComplex[102X( [3XM[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  filtered  pure  cubical complex [22XM[122X and returns the complement as a
  filtered pure cubical complex.[133X
  
  [33X[0;0Y[12XExamples:[112X 1 ([7X../tutorial/chap5.html[107X) [133X
  
  [1X29.1-50 PersistentHomologyOfFilteredPureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XPersistentHomologyOfFilteredPureCubicalComplex[102X( [3XM[103X, [3Xn[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  filtered  pure cubical complex [22XM[122X and a non-negative integer [22Xn[122X. It
  returns the degree [22Xn[122X persistent homology of [22XM[122X with rational coefficients.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
