Computation with Polycyclic Groups