This new category comprises the family of all groups defined by
a polycyclic presentation. Note that such a group may be infinite.
Algorithms for element arithmetic and subgroup computations
analogous to those for finite soluble groups have been implemented.