gap-polycyclic
GAP: Computation with polycyclic groups
The Polycyclic package provides a basis for working with polycyclic groups defined by polycyclic presentations. The features of this package include * creating a polycyclic group from a polycyclic presentation * arithmetic in a polycyclic group * computation with subgroups and factor groups of a polycyclic group * computation of standard subgroup series such as the derived series, the lower central series * computation of the first and second cohomology * computation of group extensions * computation of normalizers and centralizers * solutions to the conjugacy problems for elements and subgroups * computation of Torsion and various finite subgroups * computation of various subgroups of finite index * computation of teh Schur multiplicator, the non-abelian exterior square and the non-abelian tenor square
GPL-2.0-or-later