\chapcontents {1}{Preface}{5} \chapcontents {2}{Introduction to polycyclic presentations}{6} \chapcontents {3}{Collectors}{7} \seccontents {3.1}{Constructing a Collector} {7} \seccontents {3.2}{Accessing Parts of a Collector} {10} \seccontents {3.3}{Special Features} {10} \chapcontents {4}{Pcp-groups - polycyclically presented groups}{12} \seccontents {4.1}{Pcp-elements -- elements of a pc-presented group} {12} \seccontents {4.2}{Methods for pcp-elements} {12} \seccontents {4.3}{Pcp-groups - groups of pcp-elements} {14} \chapcontents {5}{Basic methods and functions for pcp-groups}{15} \seccontents {5.1}{Elementary methods for pcp-groups} {15} \seccontents {5.2}{Elementary properties of pcp-groups} {16} \seccontents {5.3}{Subgroups of pcp-groups} {16} \seccontents {5.4}{Polycyclic presentation sequences for subfactors} {17} \seccontents {5.5}{Factor groups of pcp-groups} {19} \seccontents {5.6}{Homomorphisms for pcp-groups} {19} \seccontents {5.7}{Changing the defining pc-presentation} {20} \seccontents {5.8}{Printing a pc-presentation} {21} \seccontents {5.9}{Converting to and from a presentation} {21} \chapcontents {6}{Libraries and examples of pcp-groups}{22} \seccontents {6.1}{Libraries of various types of polycyclic groups} {22} \seccontents {6.2}{Some asorted example groups} {23} \chapcontents {7}{Higher level methods for pcp-groups}{24} \seccontents {7.1}{Subgroup series in pcp-groups} {24} \seccontents {7.2}{Orbit stabilizer methods for pcp-groups} {26} \seccontents {7.3}{Centralizers, Normalizers and Intersections} {27} \seccontents {7.4}{Finite subgroups} {28} \seccontents {7.5}{Subgroups of finite index and maximal subgroups} {29} \seccontents {7.6}{Further attributes for pcp-groups based on the Fitting subgroup} {30} \seccontents {7.7}{Functions for nilpotent groups} {30} \seccontents {7.8}{Random methods for pcp-groups} {31} \seccontents {7.9}{Non-abelian tensor product and Schur extensions} {32} \seccontents {7.10}{Schur covers and Schur towers} {35} \chapcontents {8}{Cohomology for pcp-groups}{36} \seccontents {8.1}{Cohomology records} {36} \seccontents {8.2}{Cohomology groups} {37} \seccontents {8.3}{Extended 1-cohomology} {38} \seccontents {8.4}{Extensions and Complements} {39} \seccontents {8.5}{Constructing pcp groups as extensions} {40} \chapcontents {9}{Matrix Representations}{41} \seccontents {9.1}{Unitriangular matrix groups} {41} \seccontents {9.2}{Upper unitriangular matrix groups} {41} \chapcontents {}{Bibliography}{43} \chapcontents {}{Index}{44}