\makelabel{Polenta:Introduction}{1} \makelabel{Polenta:The package}{1.1} \makelabel{Polenta:Polycyclic groups}{1.2} \makelabel{Polenta:Methods for matrix groups}{2} \makelabel{Polenta:Polycyclic presentations of matrix groups}{2.1} \makelabel{Polenta:PcpGroupByMatGroup}{2.1.1} \makelabel{Polenta:IsomorphismPcpGroup}{2.1.2} \makelabel{Polenta:Image}{2.1.3} \makelabel{Polenta:ImageElm}{2.1.3} \makelabel{Polenta:ImagesSet}{2.1.3} \makelabel{Polenta:PreImage}{2.1.3} \makelabel{Polenta:IsSolvableGroup}{2.1.4} \makelabel{Polenta:IsTriangularizableMatGroup}{2.1.5} \makelabel{Polenta:IsPolycyclicMatGroup}{2.1.6} \makelabel{Polenta:Module series}{2.2} \makelabel{Polenta:RadicalSeriesSolvableMatGroup}{2.2.1} \makelabel{Polenta:HomogeneousSeriesAbelianMatGroup}{2.2.2} \makelabel{Polenta:HomogeneousSeriesTriangularizableMatGroup}{2.2.3} \makelabel{Polenta:CompositionSeriesAbelianMatGroup}{2.2.4} \makelabel{Polenta:CompositionSeriesTriangularizableMatGroup}{2.2.5} \makelabel{Polenta:Subgroups}{2.3} \makelabel{Polenta:SubgroupsUnipotentByAbelianByFinite}{2.3.1} \makelabel{Polenta:Examples}{2.4} \makelabel{Polenta:PolExamples}{2.4.1} \makelabel{Polenta:An example application}{3} \makelabel{Polenta:Presentation for rational matrix groups}{3.1} \makelabel{Polenta:Modules series}{3.2} \makelabel{Polenta:Triangularizable subgroups}{3.3} \makelabel{Polenta:Installation}{4} \makelabel{Polenta:Installing this package}{4.1} \makelabel{Polenta:Getting and installing KASH}{4.2} \makelabel{Polenta:Loading the Polenta package}{4.3} \makelabel{Polenta:Running the test suite}{4.4} \makelabel{Polenta:Information Messages}{5} \makelabel{Polenta:Info Class}{5.1} \makelabel{Polenta:InfoPolenta}{5.1.1} \makelabel{Polenta:Example}{5.2} \makelabel{Polenta:Bibliography}{} \setcitlab {AEi05}{AE05} \setcitlab {Assmann}{Ass03} \setcitlab {Eick}{Eic01} \setcitlab {Polycyclic}{EN00} \setcitlab {GAP4}{GAP04} \setcitlab {Ostheimer}{Ost96} \setcitlab {Sims}{Sim94} \makelabel{Polenta:Index}{}