Package: gap-polycyclic (2.18-1.2)

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