\Chapter{List of HAP functions }

The following is a list of the functions available in the {\sf HAP} package. The html manual (avaiable in the directory pkg/Hap1.x/www) gives full details.

\bigskip
\bigskip

\>AddFreeWords(v,w)

\>AddFreeWordsModP(v,w,p)

\>AlgebraicReduction(w)
\>AlgebraicReduction(w,p)

\>BaerInvariant(G,c)

\>BigStepLCS(G,n)

\>BoundaryMap(C)

\>BoundaryMatrix(C,n)

\>CayleyGraphDisplay(G,X)
\>CayleyGraphDisplay(G,X,``mozilla'')

\>ChevalleyEilenbergComplex(X,n)

\>Coclass(G)

\>CocycleCondition(R,n)

\>Cohomology(X)

\>CocycleCondition(R,n)

\>CoxeterDiagramComponents(D)

\>CoxeterDiagramDegree(D,v)

\>CoxeterDiagramDisplay(D)
\>CoxeterDiagramDisplay(D,``mozilla'')

\>CoxeterDiagramFpArtinGroup(D)

\>CoxeterDiagramFpCoxeterGroup(D)

\>CoxeterDiagramIsSpherical(D)

\>CoxeterDiagramMatrix(D)

\>CoxeterSubDiagram(D,V)

\>CoxeterDiagramVertices(D)

\>Dimension(C)

\>EpiCentre(G,N)
\>EpiCentre(G)

\>EvaluateProperty(X,``name'')

\>EvenSubgroup(G)

\>EquivariantChainMap(R,S,f)

\>GraphOfGroupsDisplay(D)
\>GraphOfGroupsDisplay(D,``mozilla'')

\>GroupHomology(X,n)
\>GroupHomology(X,n,p)

\>GroupOfResolution(R)

\>HAPcopyright()

\>Homology(X,n)

\>HomToIntegers(X)

\>HomToIntegersModP)X,p)

\>HomToIntegralModule(R,f)

\>IntegralRingGenerators(R,n)

\>IntegralCupProduct(R,u,v,p,q)
\>IntegralCupProduct(R,u,v,p,q,P,Q,N)

\>IsAspherical(F,R)

\>IsGraphofGroups(D)

\>IsLieAlgebraHomomorphism(f)

\>IsSuperPerfect(G)

\>Length(R)

\>LeibnizAlgebraHomology(A,n)

\>LeibnizComplex

\>LieAlgebraHomology(A,n)

\>LowerCentralSeriesLieAlgebra(X)

\>Map(f)

\>ModPCohomologyRing(G,n)
\>ModPCohomologyRing(R)

\>ModPRingGenerators(A)

\>MultiplyWord(n,w)

\>Negate([i,j])

\>NegateWord(w)

\>NonabelianExteriorProduct(G,N)

\>NonabelianTensorSquare(G)

\>PermToMatrixGroup(G,n)

\>PolytopalComplex(G,v)

\>PolytopalGenerators(G,v)

\>PresentationOfResolution(R)

\>PrimePartDerivedFunctor(G,R,F,n)

\>PrintZGword(w,elts)

\>RelativeSchurMultiplierG,N)

\>ResolutionAbelianGroup(L,n)
\>ResolutionAbelianGroup(G,n)

\>ResolutionAlmostCrystalGroup(G,n)

\>ResolutionAlmostCrystalQuotient(G,n,c)

\>ResolutionArtinGroup(D,n)

\>ResolutionAsphericalPresentation(F,R,n)
	
\>ResolutionDirectProduct(R,S)

\>ResolutionExtension(g,R,S)

\>ResolutionFiniteExtension(gensE,gensG,R,n)
\>ResolutionFiniteExtension(gensE,gensG,R,n,true)
\>ResolutionFiniteExtension(gensE,gensG,R,n,false,S)

\>ResolutionFiniteDirectProduct(R,S)

\>ResolutionFiniteGroup(gens,n)
\>ResolutionFiniteGroup(gens,n,true)
\>ResolutionFiniteGroup(gens,n,false,p)

\>ResolutionFiniteSubgroup(R,K)
\>ResolutionFiniteSubgroup(R,gensG,gensK)

\>ResolutionGraphOfGroups(D,n)
\>ResolutionGraphOfGroups(D,n,L)

\>ResolutionNilpotentGroup(G,n)

\>ResolutionNormalSeries(L,n)
\>ResolutionNormalSeries(L,n,true)
\>ResolutionNormalSeries(L,n,false,p)

\>ResolutionPrimePowerGroup(G,n)

\>ResolutionSmallFpGroup(G,n)
\>ResolutionSmallFpGroup(G,n,p)

\>ResolutionSubgroup(R,K)

\>ResolutionSubnormalSeries(L,n)

\>SolutionsMatDestructive(M,B)

\>Source(f)

\>StandardCocycle(R,f,n)
\>StandardCocycle(R,f,n,q)

\>Syzygy(R,g)

\>Target(f)

\>TensorCentre(G)

\>TensorWithIntegers(X)

\>TensorWithIntegersModP(X,p)

\>TensorWithRationals(X)

\>TestHap()

\>ThirdHomotopyGroupOfSuspensionB(G)

\>TietzeReduction(S,w)

\>TorsionGeneratorsAbelianGroup(G)

\>TwistedTensorProduct(R,S,EhomG,GmapE,NhomE,NEhomN,EltsE,Mult,InvE)

\>UpperEpicentralSeries(G,n)

\>VectorStabilizer(G,v)

