  
  [1X11 [33X[0;0YHomology and cohomology groups[133X[101X
  
  
  [1X11.1 [33X[0;0Y [133X[101X
  
  [1X11.1-1 Cohomology[101X
  
  [33X[1;0Y[29X[2XCohomology[102X( [3XX[103X, [3Xn[103X ) [32X function[133X
  
  [33X[0;0YInputs either a cochain complex [22XX=C[122X (or G-cocomplex C) or a cochain map [22XX=(C
  ⟶ D)[122X in characteristic [22Xp[122X together with a non-negative intereg [22Xn[122X.[133X
  
  [30X    [33X[0;6YIf [22XX=C[122X and [22Xp=0[122X then the torsion coefficients of [22XH^n(C)[122X are retuned. If
        [22XX=C[122X and [22Xp[122X is prime then the dimension of [22XH^n(C)[122X are retuned.[133X
  
  [30X    [33X[0;6YIf  [22XX=(C ⟶ D)[122X then the induced homomorphism [22XH^n(C)⟶ H^n(D)[122X is returned
        as a homomorphism of finitely presented groups.[133X
  
  [33X[0;0YA  [22XG[122X-cocomplex  [22XC[122X can also be input. The cohomology groups of such a complex
  may  not  be  abelian.  [12XWarning:[112X  in  this  case Cohomology(C,n) returns the
  abelian invariants of the [22Xn[122X-th cohomology group of [22XC[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/chap6.html[107X) ,       5
  ([7X../tutorial/chap7.html[107X) ,        6       ([7X../tutorial/chap8.html[107X) ,       7
  ([7X../tutorial/chap12.html[107X) ,       8       ([7X../tutorial/chap13.html[107X) ,      9
  ([7X../tutorial/chap14.html[107X) ,                                               10
  ([7X../www/SideLinks/About/aboutArtinGroups.html[107X) ,                          11
  ([7X../www/SideLinks/About/aboutModPRings.html[107X) ,                            12
  ([7X../www/SideLinks/About/aboutNoncrossing.html[107X) ,                          13
  ([7X../www/SideLinks/About/aboutCoefficientSequence.html[107X) ,                  14
  ([7X../www/SideLinks/About/aboutCohomologyRings.html[107X) ,                      15
  ([7X../www/SideLinks/About/aboutCoveringSpaces.html[107X) ,                       16
  ([7X../www/SideLinks/About/aboutCoverinSpaces.html[107X) ,                        17
  ([7X../www/SideLinks/About/aboutCoxeter.html[107X) ,                              18
  ([7X../www/SideLinks/About/aboutCrossedMods.html[107X) ,                          19
  ([7X../www/SideLinks/About/aboutExtensions.html[107X) ,                           20
  ([7X../www/SideLinks/About/aboutSpaceGroup.html[107X) ,                           21
  ([7X../www/SideLinks/About/aboutGouter.html[107X) ,                               22
  ([7X../www/SideLinks/About/aboutSurvey.html[107X) ,                               23
  ([7X../www/SideLinks/About/aboutIntro.html[107X) ,                                24
  ([7X../www/SideLinks/About/aboutTopology.html[107X) ,                             25
  ([7X../www/SideLinks/About/aboutTorAndExt.html[107X) ,                            26
  ([7X../www/SideLinks/About/aboutTwistedCoefficients.html[107X) [133X
  
  [1X11.1-2 CohomologyModule[101X
  
  [33X[1;0Y[29X[2XCohomologyModule[102X( [3XC[103X, [3Xn[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  [22XG[122X-cocomplex  [22XC[122X together with a non-negative integer [22Xn[122X. It returns
  the  cohomology  [22XH^n(C)[122X  as  a  [22XG[122X-outer  group.  If [22XC[122X was constructed from a
  resolution  [22XR[122X  by  homing  to an abelian [22XG[122X-outer group [22XA[122X then, for each x in
  H:=CohomologyModule(C,n), there is a function f:=H!.representativeCocycle(x)
  which  is  a standard n-cocycle corresponding to the cohomology class x. (At
  present this works only for n=1,2,3.)[133X
  
  [33X[0;0Y[12XExamples:[112X             1             ([7X../tutorial/chap6.html[107X) ,             2
  ([7X../www/SideLinks/About/aboutCrossedMods.html[107X) ,                           3
  ([7X../www/SideLinks/About/aboutGouter.html[107X) [133X
  
  [1X11.1-3 CohomologyPrimePart[101X
  
  [33X[1;0Y[29X[2XCohomologyPrimePart[102X( [3XC[103X, [3Xn[103X, [3Xp[103X ) [32X function[133X
  
  [33X[0;0YInputs  a cochain complex [22XC[122X in characteristic 0, a positive integer [22Xn[122X, and a
  prime  [22Xp[122X. It returns a list of those torsion coefficients of [22XH^n(C)[122X that are
  positive powers of [22Xp[122X. The function uses the EDIM package by Frank Luebeck.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X11.1-4 GroupCohomology[101X
  
  [33X[1;0Y[29X[2XGroupCohomology[102X( [3XX[103X, [3Xn[103X ) [32X function[133X
  [33X[1;0Y[29X[2XGroupCohomology[102X( [3XX[103X, [3Xn[103X, [3Xp[103X ) [32X function[133X
  
  [33X[0;0YInputs a positive integer [22Xn[122X and either[133X
  
  [30X    [33X[0;6Ya finite group [22XX=G[122X[133X
  
  [30X    [33X[0;6Yor a nilpotent Pcp-group [22XX=G[122X[133X
  
  [30X    [33X[0;6Yor a space group [22XX=G[122X[133X
  
  [30X    [33X[0;6Yor a list [22XX=D[122X representing a graph of groups[133X
  
  [30X    [33X[0;6Yor  a  pair [22XX=["Artin",D][122X where [22XD[122X is a Coxeter diagram representing an
        infinite Artin group [22XG[122X.[133X
  
  [30X    [33X[0;6Yor  a pair [22XX=["Coxeter",D][122X where [22XD[122X is a Coxeter diagram representing a
        finite Coxeter group [22XG[122X.[133X
  
  [33X[0;0YIt returns the torsion coefficients of the integral cohomology [22XH^n(G,Z)[122X.[133X
  
  [33X[0;0YThere  is  an  optional  third  argument which, when set equal to a prime [22Xp[122X,
  causes  the function to return the the mod [22Xp[122X cohomology [22XH^n(G,Z_p)[122X as a list
  of length equal to its rank.[133X
  
  [33X[0;0YThis  function is a composite of more basic functions, and makes choices for
  a number of parameters. For a particular group you would almost certainly be
  better using the more basic functions and making the choices yourself![133X
  
  [33X[0;0Y[12XExamples:[112X 1 ([7X../tutorial/chap7.html[107X) , 2 ([7X../tutorial/chap8.html[107X) [133X
  
  [1X11.1-5 GroupHomology[101X
  
  [33X[1;0Y[29X[2XGroupHomology[102X( [3XX[103X, [3Xn[103X ) [32X function[133X
  [33X[1;0Y[29X[2XGroupHomology[102X( [3XX[103X, [3Xn[103X, [3Xp[103X ) [32X function[133X
  
  [33X[0;0YInputs a positive integer [22Xn[122X and either[133X
  
  [30X    [33X[0;6Ya finite group [22XX=G[122X[133X
  
  [30X    [33X[0;6Yor a nilpotent Pcp-group [22XX=G[122X[133X
  
  [30X    [33X[0;6Yor a space group [22XX=G[122X[133X
  
  [30X    [33X[0;6Yor a list [22XX=D[122X representing a graph of groups[133X
  
  [30X    [33X[0;6Yor  a  pair [22XX=["Artin",D][122X where [22XD[122X is a Coxeter diagram representing an
        infinite Artin group [22XG[122X.[133X
  
  [30X    [33X[0;6Yor  a pair [22XX=["Coxeter",D][122X where [22XD[122X is a Coxeter diagram representing a
        finite Coxeter group [22XG[122X.[133X
  
  [33X[0;0YIt returns the torsion coefficients of the integral homology [22XH_n(G,Z)[122X.[133X
  
  [33X[0;0YThere  is  an  optional  third  argument which, when set equal to a prime [22Xp[122X,
  causes  the  function  to  return the mod [22Xp[122X homology [22XH_n(G,Z_p)[122X as a list of
  lenth equal to its rank.[133X
  
  [33X[0;0YThis  function is a composite of more basic functions, and makes choices for
  a number of parameters. For a particular group you would almost certainly be
  better using the more basic functions and making the choices yourself![133X
  
  [33X[0;0Y[12XExamples:[112X   1  ([7X../tutorial/chap7.html[107X) ,  2  ([7X../tutorial/chap13.html[107X) ,  3
  ([7X../www/SideLinks/About/aboutLinks.html[107X) ,                                 4
  ([7X../www/SideLinks/About/aboutParallel.html[107X) ,                              5
  ([7X../www/SideLinks/About/aboutRosenbergerMonster.html[107X) ,                    6
  ([7X../www/SideLinks/About/aboutFunctorial.html[107X) ,                            7
  ([7X../www/SideLinks/About/aboutIntro.html[107X) ,                                 8
  ([7X../www/SideLinks/About/aboutTensorSquare.html[107X) ,                          9
  ([7X../www/SideLinks/About/aboutLie.html[107X) [133X
  
  [1X11.1-6 PersistentHomologyOfQuotientGroupSeries[101X
  
  [33X[1;0Y[29X[2XPersistentHomologyOfQuotientGroupSeries[102X( [3XS[103X, [3Xn[103X ) [32X function[133X
  [33X[1;0Y[29X[2XPersistentHomologyOfQuotientGroupSeries[102X( [3XS[103X, [3Xn[103X, [3Xp[103X, [3XResolution_Algorithm[103X ) [32X function[133X
  
  [33X[0;0YInputs a positive integer [22Xn[122X and a decreasing chain [22XS=[S_1, S_2, ..., S_k][122X of
  normal  subgroups  in a finite [22Xp[122X-group [22XG=S_1[122X. It returns the bar code of the
  persistent  mod  [22Xp[122X  homology  in  degree  [22Xn[122X  of  the  sequence  of  quotient
  homomorphisms [22XG → G/S_k → G/S_k-1 → ... → G/S_2[122X. The bar code is returned as
  a  matrix  containing  the  dimensions of the images of the induced homology
  maps.[133X
  
  [33X[0;0YIf  one  sets [22Xp=0[122X then the integral persitent homology bar code is returned.
  This  is  a matrix whose entries are pairs of the lists: the list of abelian
  invariants  of  the images of the induced homology maps and the cokernels of
  the  induced homology maps. (The matrix probably does not uniquely determine
  the induced homology maps.)[133X
  
  [33X[0;0YNon  prime-power  (and  possibly  infinite) groups [22XG[122X can also be handled; in
  this  case the prime must be entered as a third argument, and the resolution
  algorithm  (e.g.  ResolutionNilpotentGroup)  can  be  entered  as  a  fourth
  argument.  (The  default algorithm is ResolutionFiniteGroup, so this must be
  changed for infinite groups.)[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X11.1-7 PersistentCohomologyOfQuotientGroupSeries[101X
  
  [33X[1;0Y[29X[2XPersistentCohomologyOfQuotientGroupSeries[102X( [3XS[103X, [3Xn[103X ) [32X function[133X
  [33X[1;0Y[29X[2XPersistentCohomologyOfQuotientGroupSeries[102X( [3XS[103X, [3Xn[103X, [3Xp[103X, [3XResolution_Algorithm[103X ) [32X function[133X
  
  [33X[0;0YInputs a positive integer [22Xn[122X and a decreasing chain [22XS=[S_1, S_2, ..., S_k][122X of
  normal  subgroups  in a finite [22Xp[122X-group [22XG=S_1[122X. It returns the bar code of the
  persistent  mod  [22Xp[122X  cohomology  in  degree  [22Xn[122X  of  the  sequence of quotient
  homomorphisms [22XG → G/S_k → G/S_k-1 → ... → G/S_2[122X. The bar code is returned as
  a  matrix  containing  the  dimensions of the images of the induced homology
  maps.[133X
  
  [33X[0;0YIf one sets [22Xp=0[122X then the integral persitent cohomology bar code is returned.
  This  is  a matrix whose entries are pairs of the lists: the list of abelian
  invariants of the images of the induced cohomology maps and the cokernels of
  the  induced  cohomology  maps.  (The  matrix  probably  does  not  uniquely
  determine the induced homology maps.)[133X
  
  [33X[0;0YNon  prime-power  (and  possibly  infinite) groups [22XG[122X can also be handled; in
  this  case the prime must be entered as a third argument, and the resolution
  algorithm  (e.g.  ResolutionNilpotentGroup)  can  be  entered  as  a  fourth
  argument.  (The  default algorithm is ResolutionFiniteGroup, so this must be
  changed for infinite groups.)[133X
  
  [33X[0;0Y(The  implementation  is  possibly  a little less efficient than that of the
  corresponding persistent homology function.)[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X11.1-8 UniversalBarCode[101X
  
  [33X[1;0Y[29X[2XUniversalBarCode[102X( [3Xstr[103X, [3Xn[103X, [3Xd[103X ) [32X function[133X
  [33X[1;0Y[29X[2XUniversalBarCode[102X( [3Xstr[103X, [3Xn[103X, [3Xd[103X, [3Xk[103X ) [32X function[133X
  
  [33X[0;0YInputs  integers  [22Xn,d[122X  that  identify a prime power group G=SmallGroup(n,d),
  together    with    one    of   the   strings   [22Xstr[122X=   "UpperCentralSeries",
  LowerCentralSeries",         "DerivedSeries",         "UpperPCentralSeries",
  "LowerPCentralSeries".  The function returns a matrix of rational functions;
  the coefficients of [22Xx^k[122X in their expansions yield the persistence matrix for
  the  degree  [22Xk[122X  homology  with  trivial mod p coefficients associated to the
  quotients of [22XG[122X by the terms of the given series.[133X
  
  [33X[0;0YIf  the  additional integer argument [22Xk[122X is supplied then the function returns
  the degree k homology persistence matrix.[133X
  
  [33X[0;0Y[12XExamples:[112X 1 ([7X../www/SideLinks/About/aboutPersistent.html[107X) [133X
  
  [1X11.1-9 PersistentHomologyOfSubGroupSeries[101X
  
  [33X[1;0Y[29X[2XPersistentHomologyOfSubGroupSeries[102X( [3XS[103X, [3Xn[103X ) [32X function[133X
  [33X[1;0Y[29X[2XPersistentHomologyOfSubGroupSeries[102X( [3XS[103X, [3Xn[103X, [3Xp[103X, [3XResolution_Algorithm[103X ) [32X function[133X
  
  [33X[0;0YInputs a positive integer [22Xn[122X and a decreasing chain [22XS=[S_1, S_2, ..., S_k][122X of
  subgroups  in  a  finite  [22Xp[122X-group  [22XG=S_1[122X.  It  returns  the  bar code of the
  persistent  mod  [22Xp[122X  homology  in  degree  [22Xn[122X  of  the  sequence  of inclusion
  homomorphisms  [22XS_k  →  S_k-1  →  ...  → S_1=G[122X. The bar code is returned as a
  binary matrix.[133X
  
  [33X[0;0YNon  prime-power  (and  possibly  infinite) groups [22XG[122X can also be handled; in
  this  case the prime must be entered as a third argument, and the resolution
  algorithm  (e.g.  ResolutionNilpotentGroup)  must  be  entered  as  a fourth
  argument.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X11.1-10 PersistentHomologyOfFilteredChainComplex[101X
  
  [33X[1;0Y[29X[2XPersistentHomologyOfFilteredChainComplex[102X( [3XC[103X, [3Xn[103X, [3Xp[103X ) [32X function[133X
  
  [33X[0;0YInputs a filtered chain complex [22XC[122X (of characteristic [22X0[122X or [22Xp[122X) together with a
  positive  integer  [22Xn[122X  and prime [22Xp[122X. It returns the bar code of the persistent
  mod  [22Xp[122X  homology in degree [22Xn[122X of the filtered chain complex [22XC[122X. (This function
  needs   a   more  efficient  implementation.  Its  fine  as  it  stands  for
  investigation  in  group  homology,  but  not sufficiently efficient for the
  homology of large complexes arising in applied topology.)[133X
  
  [33X[0;0Y[12XExamples:[112X             1             ([7X../tutorial/chap10.html[107X) ,            2
  ([7X../www/SideLinks/About/aboutPersistent.html[107X) [133X
  
  [1X11.1-11 PersistentHomologyOfCommutativeDiagramOfPGroups[101X
  
  [33X[1;0Y[29X[2XPersistentHomologyOfCommutativeDiagramOfPGroups[102X( [3XD[103X, [3Xn[103X ) [32X function[133X
  
  [33X[0;0YInputs  a commutative diagram [22XD[122X of finite [22Xp[122X-groups and a positive integer [22Xn[122X.
  It  returns  a  list  containing, for each homomorphism in the nerve of [22XD[122X, a
  triple  [22X[k,l,m][122X  where [22Xk[122X is the dimension of the source of the induced mod [22Xp[122X
  homology  map  in  degree  [22Xn[122X,  [22Xl[122X is the dimension of the image, and [22Xm[122X is the
  dimension of the cokernel.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X11.1-12 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
  
  [1X11.1-13 PersistentHomologyOfPureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XPersistentHomologyOfPureCubicalComplex[102X( [3XL[103X, [3Xn[103X, [3Xp[103X ) [32X function[133X
  
  [33X[0;0YInputs  a positive integer [22Xn[122X, a prime [22Xp[122X and an increasing chain [22XL=[L_1, L_2,
  ...,  L_k][122X of subcomplexes in a pure cubical complex [22XL_k[122X. It returns the bar
  code  of  the  persistent  mod  [22Xp[122X  homology  in  degree [22Xn[122X of the sequence of
  inclusion  maps.  The  bar  code  is returned as a matrix. (This function is
  extremely      inefficient      and      it     is     better     to     use
  PersistentHomologyOFilteredfPureCubicalComplex.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X11.1-14 ZZPersistentHomologyOfPureCubicalComplex[101X
  
  [33X[1;0Y[29X[2XZZPersistentHomologyOfPureCubicalComplex[102X( [3XL[103X, [3Xn[103X, [3Xp[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  positive  integer [22Xn[122X, a prime [22Xp[122X and any sequence [22XL=[L_1, L_2, ...,
  L_k][122X  of  subcomplexes of some pure cubical complex. It returns the bar code
  of the zig-zag persistent mod [22Xp[122X homology in degree [22Xn[122X of the sequence of maps
  [22XL_1  →  L_1  ∪  L_2  ←  L_2  →  L_2 ∪ L_3 ← L_4 → ... ← L_k[122X. The bar code is
  returned as a matrix.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X11.1-15 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
  
  [1X11.1-16 BarCode[101X
  
  [33X[1;0Y[29X[2XBarCode[102X( [3XP[103X ) [32X function[133X
  
  [33X[0;0YInputs  an  integer persistence matrix P and returns the same information in
  the form of a binary matrix (corresponding to the usual bar code).[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) [133X
  
  [1X11.1-17 BarCodeDisplay[101X
  
  [33X[1;0Y[29X[2XBarCodeDisplay[102X( [3XP[103X ) [32X function[133X
  [33X[1;0Y[29X[2XBarCodeDisplay[102X( [3XP[103X, [3Xstr[103X ) [32X function[133X
  [33X[1;0Y[29X[2XBarCodeCompactDisplay[102X( [3XP[103X ) [32X function[133X
  [33X[1;0Y[29X[2XBarCodeCompactDisplay[102X( [3XP[103X, [3Xstr[103X ) [32X function[133X
  
  [33X[0;0YInputs  an  integer  persistence  matrix  P, and an optional string, such as
  [22Xstr[122X="mozilla"  specifying a viewer/browser. It displays a picture of the bar
  code  (using GraphViz software). The compact display is better for large bar
  codes.[133X
  
  [33X[0;0Y[12XExamples:[112X             1             ([7X../tutorial/chap10.html[107X) ,            2
  ([7X../www/SideLinks/About/aboutPersistent.html[107X) [133X
  
  [1X11.1-18 Homology[101X
  
  [33X[1;0Y[29X[2XHomology[102X( [3XX[103X, [3Xn[103X ) [32X function[133X
  
  [33X[0;0YInputs either a chain complex [22XX=C[122X or a chain map [22XX=(C ⟶ D)[122X.[133X
  
  [30X    [33X[0;6YIf [22XX=C[122X then the torsion coefficients of [22XH_n(C)[122X are retuned.[133X
  
  [30X    [33X[0;6YIf [22XX=(C ⟶ D)[122X then the induced homomorphism [22XH_n(C) ⟶ H_n(D)[122X is returned
        as a homomorphism of finitely presented groups.[133X
  
  [33X[0;0YA  [22XG[122X-complex  [22XC[122X can also be input. The homology groups of such a complex may
  not  be  abelian.  [12XWarning:[112X  in  this case Homology(C,n) returns the abelian
  invariants of the [22Xn[122X-th homology group of [22XC[122X.[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/chap7.html[107X) ,       7
  ([7X../tutorial/chap9.html[107X) ,       8       ([7X../tutorial/chap10.html[107X) ,       9
  ([7X../tutorial/chap11.html[107X) ,      10      ([7X../tutorial/chap12.html[107X) ,      11
  ([7X../tutorial/chap13.html[107X) , 12 ([7X../www/SideLinks/About/aboutLinks.html[107X) , 13
  ([7X../www/SideLinks/About/aboutArithmetic.html[107X) ,                           14
  ([7X../www/SideLinks/About/aboutMetrics.html[107X) ,                              15
  ([7X../www/SideLinks/About/aboutArtinGroups.html[107X) ,                          16
  ([7X../www/SideLinks/About/aboutAspherical.html[107X) ,                           17
  ([7X../www/SideLinks/About/aboutParallel.html[107X) ,                             18
  ([7X../www/SideLinks/About/aboutBredon.html[107X) ,                               19
  ([7X../www/SideLinks/About/aboutPerformance.html[107X) ,                          20
  ([7X../www/SideLinks/About/aboutCocycles.html[107X) ,                             21
  ([7X../www/SideLinks/About/aboutPersistent.html[107X) ,                           22
  ([7X../www/SideLinks/About/aboutPoincareSeries.html[107X) ,                       23
  ([7X../www/SideLinks/About/aboutCoveringSpaces.html[107X) ,                       24
  ([7X../www/SideLinks/About/aboutCoverinSpaces.html[107X) ,                        25
  ([7X../www/SideLinks/About/aboutPolytopes.html[107X) ,                            26
  ([7X../www/SideLinks/About/aboutCoxeter.html[107X) ,                              27
  ([7X../www/SideLinks/About/aboutquasi.html[107X) ,                                28
  ([7X../www/SideLinks/About/aboutCubical.html[107X) ,                              29
  ([7X../www/SideLinks/About/aboutRandomComplexes.html[107X) ,                      30
  ([7X../www/SideLinks/About/aboutRosenbergerMonster.html[107X) ,                   31
  ([7X../www/SideLinks/About/aboutDavisComplex.html[107X) ,                         32
  ([7X../www/SideLinks/About/aboutDefinitions.html[107X) ,                          33
  ([7X../www/SideLinks/About/aboutSimplicialGroups.html[107X) ,                     34
  ([7X../www/SideLinks/About/aboutExtensions.html[107X) ,                           35
  ([7X../www/SideLinks/About/aboutSpaceGroup.html[107X) ,                           36
  ([7X../www/SideLinks/About/aboutFunctorial.html[107X) ,                           37
  ([7X../www/SideLinks/About/aboutGraphsOfGroups.html[107X) ,                       38
  ([7X../www/SideLinks/About/aboutIntro.html[107X) ,                                39
  ([7X../www/SideLinks/About/aboutTensorSquare.html[107X) ,                         40
  ([7X../www/SideLinks/About/aboutLieCovers.html[107X) ,                            41
  ([7X../www/SideLinks/About/aboutTorAndExt.html[107X) ,                            42
  ([7X../www/SideLinks/About/aboutLie.html[107X) ,                                  43
  ([7X../www/SideLinks/About/aboutTwistedCoefficients.html[107X) [133X
  
  [1X11.1-19 HomologyPb[101X
  
  [33X[1;0Y[29X[2XHomologyPb[102X( [3XC[103X, [3Xn[103X ) [32X function[133X
  
  [33X[0;0YThis  is  a  back-up  function  which  might  work  in  some instances where
  [22XHomology(C,n)[122X  fails.  It  is most useful for chain complexes whose boundary
  homomorphisms are sparse.[133X
  
  [33X[0;0YIt  inputs  a  chain  complex  [22XC[122X in characteristic [22X0[122X and returns the torsion
  coefficients  of  [22XH_n(C)[122X  .  There  is a small probability that an incorrect
  answer  could  be  returned.  The  computation relies on probabilistic Smith
  Normal  Form  algorithms implemented in the Simplicial Homology GAP package.
  This  package  therefore  needs to be loaded. The computation is stored as a
  component  of  [22XC[122X  so,  when  called  a  second time for a given [22XC[122X and [22Xn[122X, the
  calculation is recalled without rerunning the algorithm.[133X
  
  [33X[0;0YThe choice of probabalistic algorithm can be changed using the command[133X
  
  [33X[0;0YSetHomologyAlgorithm(HomologyAlgorithm[i]);[133X
  
  [33X[0;0Ywhere  i  =  1,2,3 or 4. The upper limit for the probability of an incorrect
  answer  can  be  set  to  any  rational  number  [22X0[122X<[22Xe[122X<= [22X1[122X using the following
  command.[133X
  
  [33X[0;0YSetUncertaintyTolerence(e);[133X
  
  [33X[0;0YSee the Simplicial Homology package manual for further details.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X11.1-20 HomologyVectorSpace[101X
  
  [33X[1;0Y[29X[2XHomologyVectorSpace[102X( [3XX[103X, [3Xn[103X ) [32X function[133X
  
  [33X[0;0YInputs  either  a  chain  complex  [22XX=C[122X  or  a  chain  map [22XX=(C ⟶ D)[122X in prime
  characteristic.[133X
  
  [30X    [33X[0;6YIf [22XX=C[122X then [22XH_n(C)[122X is retuned as a vector space.[133X
  
  [30X    [33X[0;6YIf [22XX=(C ⟶ D)[122X then the induced homomorphism [22XH_n(C) ⟶ H_n(D)[122X is returned
        as a homomorphism of vector spaces.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X11.1-21 HomologyPrimePart[101X
  
  [33X[1;0Y[29X[2XHomologyPrimePart[102X( [3XC[103X, [3Xn[103X, [3Xp[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  chain  complex [22XC[122X in characteristic 0, a positive integer [22Xn[122X, and a
  prime  [22Xp[122X. It returns a list of those torsion coefficients of [22XH_n(C)[122X that are
  positive  powers  of  [22Xp[122X.  The  function  uses  the EDIM GAP package by Frank
  Luebeck.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
  [1X11.1-22 LeibnizAlgebraHomology[101X
  
  [33X[1;0Y[29X[2XLeibnizAlgebraHomology[102X( [3XA[103X, [3Xn[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  Lie or Leibniz algebra [22XX=A[122X (over the ring of integers [22XZ[122X or over a
  field  [22XK[122X),  together with a positive integer [22Xn[122X. It returns the [22Xn[122X-dimensional
  Leibniz homology of [22XA[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X        1        ([7X../www/SideLinks/About/aboutIntro.html[107X) ,       2
  ([7X../www/SideLinks/About/aboutLieCovers.html[107X) [133X
  
  [1X11.1-23 LieAlgebraHomology[101X
  
  [33X[1;0Y[29X[2XLieAlgebraHomology[102X( [3XA[103X, [3Xn[103X ) [32X function[133X
  
  [33X[0;0YInputs a Lie algebra [22XA[122X (over the integers or a field) and a positive integer
  [22Xn[122X. It returns the homology [22XH_n(A,k)[122X where [22Xk[122X denotes the ground ring.[133X
  
  [33X[0;0Y[12XExamples:[112X             1             ([7X../tutorial/chap7.html[107X) ,             2
  ([7X../www/SideLinks/About/aboutIntro.html[107X) ,                                 3
  ([7X../www/SideLinks/About/aboutLieCovers.html[107X) ,                             4
  ([7X../www/SideLinks/About/aboutLie.html[107X) [133X
  
  [1X11.1-24 PrimePartDerivedFunctor[101X
  
  [33X[1;0Y[29X[2XPrimePartDerivedFunctor[102X( [3XG[103X, [3XR[103X, [3XF[103X, [3Xn[103X ) [32X function[133X
  
  [33X[0;0YInputs  a  finite  group  [22XG[122X,  a  positive integer [22Xn[122X, at least [22Xn+1[122X terms of a
  [22XZP[122X-resolution  for  a  Sylow  subgroup  [22XP[122X<[22XG[122X  and a "mathematically suitable"
  covariant  additive  functor  [22XF[122X  such as TensorWithIntegers . It returns the
  abelian invariants of the [22Xp[122X-component of the homology [22XH_n(F(R))[122X .[133X
  
  [33X[0;0YWarning:  All  calculations  are  assumed  to  be  in  characteristic 0. The
  function should not be used if the coefficient module is over the field of [22Xp[122X
  elements.[133X
  
  [33X[0;0Y"Mathematically  suitable"  means  that  the  Cartan-Eilenberg  double coset
  formula must hold.[133X
  
  [33X[0;0Y[12XExamples:[112X             1             ([7X../tutorial/chap7.html[107X) ,             2
  ([7X../www/SideLinks/About/aboutPerformance.html[107X) ,                           3
  ([7X../www/SideLinks/About/aboutFunctorial.html[107X) ,                            4
  ([7X../www/SideLinks/About/aboutTwistedCoefficients.html[107X) [133X
  
  [1X11.1-25 RankHomologyPGroup[101X
  
  [33X[1;0Y[29X[2XRankHomologyPGroup[102X( [3XG[103X, [3Xn[103X ) [32X function[133X
  [33X[1;0Y[29X[2XRankHomologyPGroup[102X( [3XR[103X, [3Xn[103X ) [32X function[133X
  [33X[1;0Y[29X[2XRankHomologyPGroup[102X( [3XG[103X, [3Xn[103X, [3Xstr[103X ) [32X function[133X
  
  [33X[0;0YInputs  a (smallish) [22Xp[122X-group [22XG[122X, or [22Xn[122X terms of a minimal [22XZ_pG[122X-resolution [22XR[122X of
  [22XZ_p[122X  ,  together with a positive integer [22Xn[122X. It returns the minimal number of
  generators of the integral homology group [22XH_n(G,Z)[122X.[133X
  
  [33X[0;0YIf  an  option  third  string  argument  [22Xstr[122X="empirical" is included then an
  empirical  algorithm  will  be used. This is one which always seems to yield
  the right answer but which we can't prove yields the correct answer.[133X
  
  [33X[0;0Y[12XExamples:[112X 1 ([7X../tutorial/chap7.html[107X) [133X
  
  [1X11.1-26 RankPrimeHomology[101X
  
  [33X[1;0Y[29X[2XRankPrimeHomology[102X( [3XG[103X, [3Xn[103X ) [32X function[133X
  
  [33X[0;0YInputs a (smallish) [22Xp[122X-group [22XG[122X together with a positive integer [22Xn[122X. It returns
  a  function  [22Xdim(k)[122X  which gives the rank of the vector space [22XH_k(G,Z_p)[122X for
  all [22X0[122X <= [22Xk[122X <= [22Xn[122X.[133X
  
  [33X[0;0Y[12XExamples:[112X[133X
  
