The Polenta package provides methods to compute polycyclic presentations
of matrix groups (finite or infinite). As a by-product, this package
gives some functionality to compute certain module series for modules of
solvable groups. For example, if G is a rational polycyclic matrix
group, then we can compute the radical series of the natural Q[G]-module
Q^d.