C intro.tex 1. Introduction I 1.0. ANUPQ S 1.1. Authors and Acknowledgements I 1.1. bug reports S 1.2. Change history I 1.2. option pkgbanner C basics.tex 2. Mathematical Background and Terminology S 2.1. Basic notions I 2.1. power-commutator presentation I 2.1. pc presentation I 2.1. pcp I 2.1. pc generators I 2.1. collection I 2.1. consistent I 2.1. confluent rewriting system I 2.1. confluent I 2.1. consistency conditions I 2.1. exponent-p central series I 2.1. class I 2.1. p-class I 2.1. weight function I 2.1. weighted pcp I 2.1. p-covering group I 2.1. p-cover I 2.1. p-multiplicator I 2.1. p-multiplicator rank I 2.1. multiplicator rank I 2.1. descendant I 2.1. immediate descendant I 2.1. nucleus I 2.1. capable I 2.1. terminal I 2.1. nucleus I 2.1. allowable subgroup I 2.1. extended automorphism I 2.1. permutations I 2.1. law I 2.1. identical relation I 2.1. exponent law I 2.1. metabelian law I 2.1. Engel identity S 2.2. The p-quotient Algorithm I 2.2. labelled pcp I 2.2. definition!of generator I 2.2. tails I 2.2. exponent check S 2.3. The p-group generation Algorithm, Standard Presentation, Isomorphism Testing I 2.3. p-group generation I 2.3. orbits I 2.3. standard presentation I 2.3. echelonised matrix I 2.3. label of standard matrix I 2.3. isomorphism testing I 2.3. compaction C infra.tex 3. Infrastructure S 3.1. Loading the ANUPQ Package I 3.1. banner I 3.1. banner!suppression S 3.2. The ANUPQData Record F 3.2. ANUPQData F 3.2. ANUPQDirectoryTemporary S 3.3. Setting the Verbosity of ANUPQ via Info and InfoANUPQ F 3.3. InfoANUPQ S 3.4. Utility Functions F 3.4. PqLeftNormComm F 3.4. PqGAPRelators F 3.4. PqParseWord F 3.4. PqExample F 3.4. PqExample F 3.4. PqExample F 3.4. AllPqExamples F 3.4. GrepPqExamples F 3.4. ToPQLog S 3.5. Attributes and a Property for fp and pc p-groups F 3.5. NuclearRank F 3.5. MultiplicatorRank F 3.5. IsCapable S 3.6. Hints and Warnings regarding the use of Options I 3.6. menu item!of pq program I 3.6. option!of pq program is a menu item I 3.6. troubleshooting tips F 3.6. ANUPQWarnOfOtherOptions C anupq.tex 4. Non-interactive ANUPQ functions S 4.1. Computing p-Quotients F 4.1. Pq I 4.1. option Prime I 4.1. option ClassBound I 4.1. option Exponent I 4.1. option Relators I 4.1. option Metabelian I 4.1. option Identities I 4.1. option GroupName I 4.1. option OutputLevel I 4.1. option SetupFile I 4.1. option PqWorkspace I 4.1. option Relators!example of usage I 4.1. option Identities!example of usage F 4.1. PqEpimorphism F 4.1. PqPCover S 4.2. Computing Standard Presentations I 4.2. automorphisms!of $p$-groups F 4.2. PqStandardPresentation F 4.2. StandardPresentation I 4.2. option Prime I 4.2. option pQuotient I 4.2. option ClassBound I 4.2. option Exponent I 4.2. option Metabelian I 4.2. option GroupName I 4.2. option OutputLevel I 4.2. option StandardPresentationFile I 4.2. option SetupFile I 4.2. option PqWorkspace F 4.2. EpimorphismPqStandardPresentation F 4.2. EpimorphismStandardPresentation S 4.3. Testing p-Groups for Isomorphism F 4.3. IsPqIsomorphicPGroup F 4.3. IsIsomorphicPGroup S 4.4. Computing Descendants of a p-Group F 4.4. PqDescendants I 4.4. option ClassBound I 4.4. option Relators I 4.4. option OrderBound I 4.4. option StepSize I 4.4. option RankInitialSegmentSubgroups I 4.4. option SpaceEfficient I 4.4. option CapableDescendants I 4.4. option AllDescendants I 4.4. option Exponent I 4.4. option Metabelian I 4.4. option GroupName I 4.4. option SubList I 4.4. option BasicAlgorithm I 4.4. option CustomiseOutput I 4.4. option SetupFile I 4.4. option PqWorkspace F 4.4. PqSupplementInnerAutomorphisms F 4.4. PqList F 4.4. SavePqList C interact.tex 5. Interactive ANUPQ functions S 5.1. Starting and Stopping Interactive ANUPQ Processes F 5.1. PqStart F 5.1. PqStart F 5.1. PqStart F 5.1. PqStart F 5.1. PqQuit F 5.1. PqQuit F 5.1. PqQuitAll S 5.2. Interactive ANUPQ Process Utility Functions F 5.2. PqProcessIndex F 5.2. PqProcessIndex F 5.2. PqProcessIndices F 5.2. IsPqProcessAlive F 5.2. IsPqProcessAlive I 5.2. interruption S 5.3. Interactive Versions of Non-interactive ANUPQ Functions F 5.3. Pq!interactive F 5.3. Pq!interactive I 5.3. option Prime I 5.3. option ClassBound I 5.3. option Exponent I 5.3. option Relators I 5.3. option Metabelian I 5.3. option Identities I 5.3. option GroupName I 5.3. option OutputLevel I 5.3. option RedoPcp F 5.3. PqEpimorphism!interactive F 5.3. PqEpimorphism!interactive F 5.3. PqPCover!interactive F 5.3. PqPCover!interactive I 5.3. automorphisms!of $p$-groups F 5.3. PqStandardPresentation!interactive F 5.3. StandardPresentation!interactive I 5.3. option Prime I 5.3. option pQuotient I 5.3. option ClassBound I 5.3. option Exponent I 5.3. option Metabelian I 5.3. option GroupName I 5.3. option OutputLevel I 5.3. option StandardPresentationFile F 5.3. EpimorphismPqStandardPresentation!interactive F 5.3. EpimorphismStandardPresentation!interactive F 5.3. PqDescendants!interactive F 5.3. PqDescendants!interactive I 5.3. option ClassBound I 5.3. option Relators I 5.3. option OrderBound I 5.3. option StepSize I 5.3. option RankInitialSegmentSubgroups I 5.3. option SpaceEfficient I 5.3. option CapableDescendants I 5.3. option AllDescendants I 5.3. option Exponent I 5.3. option Metabelian I 5.3. option GroupName I 5.3. option SubList I 5.3. option BasicAlgorithm I 5.3. option CustomiseOutput F 5.3. PqSetPQuotientToGroup F 5.3. PqSetPQuotientToGroup S 5.4. Low-level Interactive ANUPQ Functions based on menu items of the pq program F 5.4. PqNrPcGenerators F 5.4. PqNrPcGenerators F 5.4. PqFactoredOrder F 5.4. PqFactoredOrder F 5.4. PqOrder F 5.4. PqOrder F 5.4. PqPClass F 5.4. PqPClass F 5.4. PqWeight F 5.4. PqWeight F 5.4. PqCurrentGroup F 5.4. PqCurrentGroup F 5.4. PqDisplayPcPresentation F 5.4. PqDisplayPcPresentation F 5.4. PqSetOutputLevel F 5.4. PqSetOutputLevel F 5.4. PqEvaluateIdentities F 5.4. PqEvaluateIdentities F 5.4. PqPcPresentation F 5.4. PqPcPresentation F 5.4. PqSavePcPresentation F 5.4. PqSavePcPresentation F 5.4. PqRestorePcPresentation F 5.4. PqRestorePcPresentation F 5.4. PqNextClass F 5.4. PqNextClass I 5.4. option QueueFactor F 5.4. PqComputePCover F 5.4. PqComputePCover F 5.4. PqCollect F 5.4. PqCollect F 5.4. PqSolveEquation F 5.4. PqSolveEquation F 5.4. PqCommutator F 5.4. PqCommutator F 5.4. PqSetupTablesForNextClass F 5.4. PqSetupTablesForNextClass F 5.4. PqTails F 5.4. PqTails F 5.4. PqComputeTails F 5.4. PqComputeTails F 5.4. PqAddTails F 5.4. PqAddTails F 5.4. PqDoConsistencyChecks F 5.4. PqDoConsistencyChecks F 5.4. PqCollectDefiningRelations F 5.4. PqCollectDefiningRelations F 5.4. PqCollectWordInDefiningGenerators F 5.4. PqCollectWordInDefiningGenerators F 5.4. PqCommutatorDefiningGenerators F 5.4. PqCommutatorDefiningGenerators F 5.4. PqDoExponentChecks F 5.4. PqDoExponentChecks F 5.4. PqEliminateRedundantGenerators F 5.4. PqEliminateRedundantGenerators F 5.4. PqRevertToPreviousClass F 5.4. PqRevertToPreviousClass F 5.4. PqSetMaximalOccurrences F 5.4. PqSetMaximalOccurrences F 5.4. PqSetMetabelian F 5.4. PqSetMetabelian F 5.4. PqDoConsistencyCheck F 5.4. PqDoConsistencyCheck F 5.4. PqJacobi F 5.4. PqJacobi F 5.4. PqCompact F 5.4. PqCompact F 5.4. PqEchelonise F 5.4. PqEchelonise F 5.4. PqSupplyAutomorphisms F 5.4. PqSupplyAutomorphisms F 5.4. PqExtendAutomorphisms F 5.4. PqExtendAutomorphisms F 5.4. PqApplyAutomorphisms F 5.4. PqApplyAutomorphisms F 5.4. PqDisplayStructure F 5.4. PqDisplayStructure F 5.4. PqDisplayAutomorphisms F 5.4. PqDisplayAutomorphisms F 5.4. PqWritePcPresentation F 5.4. PqWritePcPresentation F 5.4. PqSPComputePcpAndPCover F 5.4. PqSPComputePcpAndPCover F 5.4. PqSPStandardPresentation F 5.4. PqSPStandardPresentation I 5.4. option ClassBound I 5.4. option PcgsAutomorphisms I 5.4. option StandardPresentationFile F 5.4. PqSPSavePresentation F 5.4. PqSPSavePresentation F 5.4. PqSPCompareTwoFilePresentations F 5.4. PqSPCompareTwoFilePresentations F 5.4. PqSPIsomorphism F 5.4. PqSPIsomorphism F 5.4. PqPGSupplyAutomorphisms F 5.4. PqPGSupplyAutomorphisms F 5.4. PqPGExtendAutomorphisms F 5.4. PqPGExtendAutomorphisms F 5.4. PqPGConstructDescendants F 5.4. PqPGConstructDescendants F 5.4. PqPGSetDescendantToPcp F 5.4. PqPGSetDescendantToPcp F 5.4. PqPGSetDescendantToPcp F 5.4. PqPGSetDescendantToPcp F 5.4. PqPGRestoreDescendantFromFile F 5.4. PqPGRestoreDescendantFromFile F 5.4. PqPGRestoreDescendantFromFile F 5.4. PqPGRestoreDescendantFromFile F 5.4. PqAPGDegree F 5.4. PqAPGDegree F 5.4. PqAPGPermutations F 5.4. PqAPGPermutations F 5.4. PqAPGOrbits F 5.4. PqAPGOrbits F 5.4. PqAPGOrbitRepresentatives F 5.4. PqAPGOrbitRepresentatives F 5.4. PqAPGSingleStage F 5.4. PqAPGSingleStage S 5.5. Primitive Interactive ANUPQ Process Read/Write Functions F 5.5. PqRead F 5.5. PqRead F 5.5. PqReadAll F 5.5. PqReadAll F 5.5. PqReadUntil F 5.5. PqReadUntil F 5.5. PqReadUntil F 5.5. PqReadUntil F 5.5. PqWrite F 5.5. PqWrite C options.tex 6. ANUPQ Options F 6.0. AllANUPQoptions F 6.0. ANUPQoptions S 6.1. Detailed descriptions of ANUPQ Options F 6.1. option Prime F 6.1. option ClassBound F 6.1. option pQuotient F 6.1. option Exponent F 6.1. option Relators F 6.1. option Metabelian F 6.1. option GroupName F 6.1. option Identities F 6.1. option OutputLevel F 6.1. option RedoPcp F 6.1. option SetupFile F 6.1. option PqWorkspace F 6.1. option PcgsAutomorphisms F 6.1. option PcgsAutomorphisms F 6.1. option OrderBound F 6.1. option StepSize F 6.1. option StepSize F 6.1. option RankInitialSegmentSubgroups F 6.1. option SpaceEfficient F 6.1. option CapableDescendants F 6.1. option AllDescendants F 6.1. option TreeDepth F 6.1. option SubList F 6.1. option NumberOfSolubleAutomorphisms F 6.1. option RelativeOrders F 6.1. option BasicAlgorithm F 6.1. option CustomiseOutput F 6.1. option StandardPresentationFile F 6.1. option QueueFactor F 6.1. option Bounds F 6.1. option PrintAutomorphisms F 6.1. option PrintPermutations F 6.1. option Filename C install.tex 7. Installing the ANUPQ Package I 7.0. ANUPQ_GAP_EXEC!environment variable S 7.1. Testing your ANUPQ installation I 7.1. ANUPQ_GAP_EXEC!environment variable S 7.2. Running the pq program as a standalone I 7.2. ANUPQ_GAP_EXEC!environment variable S 7.3. Setting the Verbosity of ANUPQ via Info and InfoANUPQ F 7.3. InfoANUPQ S 7.4. Utility Functions F 7.4. PqLeftNormComm F 7.4. PqGAPRelators C examples.tex 8. Examples S 8.1. The Relators Option S 8.2. The Identities Option and PqEvaluateIdentities Function S 8.3. A Large Example I 8.3. B(5,4) S 8.4. Developing descendants trees F 8.4. PqDescendantsTreeCoclassOne F 8.4. PqDescendantsTreeCoclassOne