lpres

Nilpotent Quotients of L-Presented Groups

Version 0.4.1

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 0.4.1. For more information, please refer to the package manual. There is also a README file.

Dependencies

This package requires GAP version >= 4.4

The following other GAP packages are needed:

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

Author

René Hartung

Feedback

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