Describir: Group and Ring Theoretic Properties of Polycyclic Groups