Computation with polycyclic groups
