Nilpotent Quotients of L-Presented Groups

Version 1.0.3
Released 2022-03-20

This project is maintained by Laurent Bartholdi

GAP Package lpres

The LPRES Package defines new GAP objects to work with L-presented groups, namely groups given by a finite generating set and a possibly-infinite set of relations given as iterates of finitely many seed relations by a finite set of endomorphisms. The package implements nilpotent quotient, Todd-Coxeter and Reidemeister-Schreier algorithms for L-presented groups.

The current version of this package is version 1.0.3, released on 2022-03-20. For more information, please refer to the package manual. There is also a README file.

License: GPL-2.0-or-later


This package requires GAP version >= 4.9

The following other GAP packages are needed:

The following additional GAP packages are not required, but suggested:


René Hartung.


Please, cite this package as

[HB22] Hartung, R. and Bartholdi, L., lpres, Nilpotent Quotients of L-Presented Groups, Version 1.0.3 (2022)
(Refereed GAP package), https://gap-packages.github.io/lpres.

You can get more info by typing Cite("lpres"); in the gap prompt.


For bug reports, feature requests and suggestions, please use the issue tracker.