Using the Mal'cev correspondence for collection in polycyclic groups

We describe several approaches for realizing the Mal'cev correspondence between Q-powered nilpotent groups and nilpotent Lie algebras over Q. We apply it to fast collection in polycyclic groups. Our methods are fully implemented and publicly available. We report on the implementation and give runtimes for some example groups.