C preface.tex 1. Polycyclic Groups
C pcpgroup.tex 2. Pcp-groups - polycyclically presented groups
S 2.1. Introduction
S 2.2. Collectors
F 2.2. FromTheLeftCollector
F 2.2. SetRelativeOrder
F 2.2. SetPower
F 2.2. SetConjugate
F 2.2. UpdatePolycyclicCollector
F 2.2. IsConfluent
S 2.3. Pcp-elements -- elements of a pc-presented group
F 2.3. PcpElementByExponentsNC
F 2.3. PcpElementByExponents
F 2.3. PcpElementByGenExpListNC
F 2.3. PcpElementByGenExpList
F 2.3. IsPcpElement
F 2.3. IsPcpElementRep
S 2.4. Methods for pcp-elements
F 2.4. Collector
F 2.4. Exponents
F 2.4. GenExpList
F 2.4. NameTag
F 2.4. Depth
F 2.4. LeadingExponent
F 2.4. RelativeOrder
F 2.4. RelativeIndex
F 2.4. FactorOrder
F 2.4. NormingExponent
F 2.4. NormedPcpElement
S 2.5. Pcp-groups - groups of pcp-elements
F 2.5. PcpGroupByCollectorNC
F 2.5. PcpGroupByCollector
F 2.5. Group
F 2.5. Subgroup
S 2.6. Basis methods and functions for pcp-groups
F 2.6. 
F 2.6. Size
F 2.6. Random
F 2.6. Index
F 2.6. 
F 2.6. Elements
F 2.6. IsSubgroup
F 2.6. IsNormal
F 2.6. ClosureGroup
F 2.6. NormalClosure
F 2.6. 
F 2.6. HirschLength
F 2.6. CommutatorSubgroup
F 2.6. PRump
F 2.6. IsNilpotentGroup
F 2.6. IsAbelian
F 2.6. IsElementaryAbelian
F 2.6. IsFreeAbelian
S 2.7. Igs - induced generating sequences for subgroups
F 2.7. Igs
F 2.7. Igs
F 2.7. IgsParallel
F 2.7. Ngs
F 2.7. Ngs
F 2.7. Cgs
F 2.7. Cgs
F 2.7. CgsParallel
F 2.7. SubgroupByIgs
F 2.7. SubgroupByIgs
F 2.7. AddToIgs
F 2.7. AddToIgsParallel
F 2.7. AddIgsToIgs
S 2.8. Pcps -- polycyclic presentation sequences for subfactors
F 2.8. Pcp
F 2.8. Pcp
F 2.8. Pcp
F 2.8. Pcp
F 2.8. GeneratorsOfPcp
F 2.8. 
F 2.8. Length
F 2.8. RelativeOrdersOfPcp
F 2.8. DenominatorOfPcp
F 2.8. NumeratorOfPcp
F 2.8. GroupOfPcp
F 2.8. OneOfPcp
F 2.8. ExponentsByPcp
F 2.8. PcpGroupByPcp
S 2.9. Factor groups of pcp-groups
F 2.9. NaturalHomomorphism
F 2.9. 
F 2.9. FactorGroup
S 2.10. Homomorphisms for pcp-groups
F 2.10. GroupHomomorphismByImages
F 2.10. Kernel
F 2.10. Image
F 2.10. Image
F 2.10. Image
F 2.10. PreImage
F 2.10. PreImagesRepresentative
F 2.10. IsInjective
S 2.11. Changing the defining pc-presentation
F 2.11. RefinedPcpGroup
F 2.11. PcpGroupBySeries
S 2.12. Converting to pc-presentations
F 2.12. IsomorphismPcpGroup
F 2.12. IsomorphismPcGroup
S 2.13. Some generic pcp-groups
F 2.13. AbelianPcpGroup
F 2.13. DihedralPcpGroup
F 2.13. UnitriangularPcpGroup
F 2.13. SubgroupUnitriangularPcpGroup
S 2.14. Some example pcp-groups
F 2.14. ExampleOfMetabelianGroup
F 2.14. PcpExamples
F 2.14. EddiesExamples
F 2.14. NqExamples
C pcpmeths.tex 3. Methods for pcp-groups
S 3.1. Orbit stabilizer methods for pcp-groups
F 3.1. PcpOrbitStabilizer
F 3.1. PcpOrbitsStabilizers
S 3.2. Subgroup series in pcp-groups
F 3.2. PcpSeries
F 3.2. EfaSeries
F 3.2. DerivedSeries
F 3.2. RefinedDerivedSeries
F 3.2. RefinedDerivedSeriesDown
F 3.2. LowerCentralSeries
F 3.2. TorsionByPolyEFSeries
F 3.2. PcpsBySeries
F 3.2. PcpsBySeries
F 3.2. PcpsOfEfaSeries
S 3.3. Random methods and functions available for pcp-groups
F 3.3. RandomOrbitStabilizerPcpGroup
F 3.3. RandomCentralizerPcpGroup
F 3.3. RandomCentralizerPcpGroup
F 3.3. RandomNormalizerPcpGroup
S 3.4. Intersection of subgroups
F 3.4. NormalIntersection
S 3.5. Finite subgroups
F 3.5. TorsionSubgroup
F 3.5. NormalTorsionSubgroup
F 3.5. IsTorsionFree
F 3.5. FiniteSubgroupClasses
F 3.5. FiniteSubgroupClassesBySeries
S 3.6. Subgroups of finite index
F 3.6. MaximalSubgroupClassesPIndex
F 3.6. LowIndexSubgroupClasses
F 3.6. LowIndexNormals
F 3.6. NilpotentByAbelianNormalSubgroup
S 3.7. Functions for nilpotent groups
F 3.7. MinimalGeneratingSet
F 3.7. Centre
F 3.7. UpperCentralSeries
C pcpcohom.tex 4. Cohomology for pcp-groups
S 4.1. Cohomology records
F 4.1. CRRecordByMats
F 4.1. CRRecordBySubgroup
F 4.1. CRRecordByPcp
S 4.2. Cohomology groups
F 4.2. OneCoboundariesCR
F 4.2. OneCocyclesCR
F 4.2. TwoCoboundariesCR
F 4.2. TwoCocyclesCR
F 4.2. OneCohomologyCR
F 4.2. TwoCohomologyCR
S 4.3. Extended 1-cohomology
F 4.3. OneCoboundariesEX
F 4.3. OneCocyclesEX
F 4.3. OneCohomologyEX
S 4.4. Extensions and Complements
F 4.4. ComplementCR
F 4.4. ComplementsCR
F 4.4. ComplementClassesCR
F 4.4. ComplementClassesEfaPcps
F 4.4. ComplementClasses
F 4.4. ExtensionCR
F 4.4. ExtensionsCR
F 4.4. ExtensionClassesCR
F 4.4. SplitExtensionPcpGroup
