Guarana

GAP package Guarana: Applications of Lie methods for computations with infinite polycyclic groups. The Guarana package provides computational applications of the Mal’cev correspondence, in particular for collection in infinite polycyclic groups.