Miscellaneous

BigStepLCS
BigStepLCS(G,n)

Inputs a group G and a positive integer n. It returns a subseries G=L_1&tgt;L_2&tgt; \ldots L_k=1 of the lower central series of G such that L_i/L_{i+1} has order greater than n.
Compose(f,g)
Compose(f,g)

Inputs two FpG-module homomorphisms f:M \longrightarrow N and g:L \longrightarrow M with Source(f)=Target(g) . It returns the composite homomorphism fg:L \longrightarrow N .

This also applies to group homomorphisms f,g.
HAPcopyright
HAPcopyright()

This function provides details of HAP'S GNU public copyright licence.
IsLieAlgebraHomomorphism
IsLieAlgebraHomomorphism(f)

Inputs an object f and returns true if f is a homomorphism f:A \longrightarrow B of Lie algebras (preserving the Lie bracket).
IsSuperperfect
IsSuperperfect(G)

Inputs a group G and returns "true" if both the first and second integral homology of G is trivial. Otherwise, it returns "false".
MakeHAPManual
MakeHAPManual()

This function creates the manual for HAP from an XML file.
PermToMatrixGroup
PermToMatrixGroup(G,n)

Inputs a permutation group G and its degree n. Returns a bijective homomorphism f:G \longrightarrow M where M is a group of permutation matrices.
SolutionsMatDestructive
SolutionsMatDestructive(M,B)

Inputs an m×n matrix M and a k×n matrix B over a field. It returns a k×m matrix S satisfying SM=B.

The function will leave matrix M unchanged but will probably change matrix B.

(This is a trivial rewrite of the standard GAP function SolutionMatDestructive(&tlt;mat&tgt;,&tlt;vec&tgt;) .)
TestHap
TestHap()

This runs a representative sample of HAP functions and checks to see that they produce the correct output.