This is the package
lpres written for GAP 4. It provides a first
construction of finitely L-presented groups and a nilpotent quotient
algorithm for L-presented groups.
The features of this package include
creating an L-presented group as new gap object,
computing nilpotent quotients of L-presented groups and epimorphisms from the L-presented group onto its nilpotent quotients,
computing the abelian invariants of an L-presented group,
computing finite-index subgroups and if possible their L-presentation
approximating the Schur multiplier of L-presented groups.
There is a manual in the subdirectory
doc written in plain TeX which
describes the functions available.
If you have found a bug or any features missing please let me know (Laurent Bartholdi, email@example.com)
With this version you should have obtained the following files and directories:
README.lpres this file init.g the file that initializes this package read.g the file that reads in the package makedoc.g the file used to compile the documentation PackageInfo.g the file for the new package loading mechanism doc the manual gap the GAP code
Make sure that the GAP 4 packages Polycyclic and FGA are installed. It
suffices to unpack the package in the
pkg directory and load the
package from within gap using
The lpres package can be tested with
If you obtained the package from its git repository, you have to compile
the manual. For this, enter the directory of lpres (the one containing
makedoc.g) and run