Using the Malʹcev correspondence for collection in polycyclic groups

We describe several approaches for realizing the Malʹcev correspondence between -powered nilpotent groups and nilpotent Lie algebras over . 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.