\chapcontents {1}{Introduction}{3} \seccontents {1.1}{The package} {3} \seccontents {1.2}{Polycyclic groups} {3} \chapcontents {2}{Methods for matrix groups}{4} \seccontents {2.1}{Polycyclic presentations of matrix groups} {4} \seccontents {2.2}{Module series} {5} \seccontents {2.3}{Subgroups} {5} \seccontents {2.4}{Examples} {6} \chapcontents {3}{An example application}{7} \seccontents {3.1}{Presentation for rational matrix groups} {7} \seccontents {3.2}{Modules series} {8} \seccontents {3.3}{Triangularizable subgroups} {8} \chapcontents {4}{Installation}{10} \seccontents {4.1}{Installing this package} {10} \seccontents {4.2}{Getting and installing KASH} {10} \seccontents {4.3}{Loading the Polenta package} {10} \seccontents {4.4}{Running the test suite} {11} \chapcontents {5}{Information Messages}{12} \seccontents {5.1}{Info Class} {12} \seccontents {5.2}{Example} {12} \chapcontents {}{Bibliography}{16} \chapcontents {}{Index}{17}