[1m[4m[31m[1mNQ[1m[4m[31m[0m [1m[4m[31mA [1mGAP[1m[4m[31m 4 Package computing nilpotent factor groups of finitely presented[0m [1m[4m[31mgroups Based on the ANU Nilpotent Quotient Program[0m Version 2.2 February 2007 Werner Nickel Werner Nickel Email: [34mmailto: nickel at mathematik.tu-darmstadt.de [0m Homepage: [34mhttp://www.mathematik.tu-darmstadt.de/~nickel[0m Address: Fachbereich Mathematik, AG 2 TU Darmstadt Schlossgartenstr. 7 64289 Darmstadt Germany ------------------------------------------------------- [1m[4m[31mCopyright[0m (C) 1992-2007 Werner Nickel. ------------------------------------------------------- [1m[4m[31mAcknowledgements[0m The development of this program was started while the author was supported by an Australian National University PhD scholarship and an Overseas Postgraduate Research Scholarship. Further development of this program was done with support from the DFG-Schwerpunkt-Projekt "`Algorithmische Zahlentheorie und Algebra"'. Over the years a number of people have made useful suggestions that found their way into the code: Mike Newman, Michael Vaughan-Lee, Joachim Neubüser, Charles Sims. I thank Volkmar Felsch and Joachim Neubüser for their careful examination of the package prior to its release for GAP 4. This documentation was prepared with the [1mGAPDoc[0m package by Frank Lübeck and Max Neunhöffer. ------------------------------------------------------- [1m[4m[31mContent (nq)[0m 1. Introduction 2. General remarks 2.1 Commutators and the Lower Central Series 2.2 Nilpotent groups 2.3 Nilpotent presentations 2.4 A sketch of the algorithm 2.5 Identical Relations 2.6 Expression Trees 2.7 A word about the implementation 2.8 The input format of the standalone 3. The Functions of the Package 3.1 Nilpotent Quotients of Finitely Presented Groups 3.1-1 NilpotentQuotient 3.1-2 NilpotentEngelQuotient 3.1-3 NqEpimorphismNilpotentQuotient 3.1-4 LowerCentralFactors 3.2 Expression Trees 3.2-1 ExpressionTrees 3.2-2 EvaluateExpTree 3.3 Auxiliary Functions 3.3-1 NqReadOutput 3.3-2 NqStringFpGroup 3.3-3 NqStringExpTrees 3.3-4 NqElementaryDivisors 3.4 Global Variables 3.4-1 NqRuntime 3.4-2 NqDefaultOptions 3.4-3 NqGlobalVariables 3.5 Diagnostic Output 4. Examples 4.1 Right Engel elements 5. Installation of the Package -------------------------------------------------------