This package uses the finitely presented group data structure defined in GAP (see Finitely Presented Groups). It also defines and uses two types of data structures. One data structure defines a consistent polycyclic presentation of a polycyclic group and the other defines a homomorphism and an inverse map between the finitely presented group and its quotient.
GAP 3.4.4