GAP

Main Branches

Downloads  Installation  Overview  Data Libraries  Packages  Documentation  Contacts  FAQ  GAP 3 

GAP package lpres

Nilpotent Quotients of L-Presented Groups

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.

Author
René Hartung
Maintainer
Laurent Bartholdi
Version with GAP 4.13.0
1.0.3    (Released 20/03/2022)
License
GPL-2.0-or-later
Status
accepted    (communicated by Alexander Konovalov (St Andrews), accepted 01/09/2018)
Dependencies
GAP version: >= 4.9
Needed other packages: polycyclic (>= 2.5), FGA (>= 1.1.0.1)
Suggested other packages: ParGAP (>= 1.1.2), AutPGrp (>= 1.4), ACE (>= 5.0)
Documentation
lpres [HTML]     [PDF]
Download
lpres-1.0.3   [.tar.gz]