Polycyclic_group loading ...