Nilpotent Quotients of L-Presented Groups

Version 0.4.2
Released 2017-12-08

This project is maintained by Laurent Bartholdi

The GAP 4 package 'lpres'


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, laurent.bartholdi@gmail.com)

With this version you should have obtained the following files and

  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 `LoadPackage("lpres");'.


The lpres-package can be tested with `ReadPackage("lpres","tst/testall.gi");'.

Compiling the Manual

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
the file makedoc.g) and run `gap makedoc.g'.

BugFixes/Changes/Features Added
- Version 0.1.0:
                - maintenance taken over by Laurent Bartholdi