  This contains a new version of the so-called non-commutative Gauss algorithm
for polycyclic groups. Its results allow to read off the order and the index of
a subgroup in an (possibly infinite) polycyclic group.
