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.1.1, released on 2024-07-12. For more information, please refer to the package manual. There is also a README file.

License: GPL-2.0-or-later

Dependencies

This package requires GAP version >= 4.9

The following other GAP packages are needed:

polycyclic >= 2.5
FGA >= 1.1.0.1

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

ParGAP >= 1.1.2
AutPGrp >= 1.4
ACE >= 5.0

Author

René Hartung.

Citing

Please, cite this package as

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

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

Feedback

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