ANU p-Quotient Program Version 1.2 running with workspace 1000000 on wilton Fri Apr 22 10:18:43 EST 1994 Select option: 1 Input group identifier: Nott Input prime: 5 Input maximum class: 3 Input print level (0-3): 1 Input generating set (in { }): Input defining set of relations (in { }): Input exponent law (0 if none): 0 Lower exponent-5 central series for Nott Group: Nott to lower exponent-5 central class 1 has order 5^2 Group: Nott to lower exponent-5 central class 2 has order 5^3 Group: Nott to lower exponent-5 central class 3 has order 5^4 Computation of presentation took 0.01 seconds Select option: 7 Group: Nott to lower exponent-5 central class 4 has order 5^8 Computation of 5-covering group took 0.00 seconds Select option: 2 Enter output file name: Nott Presentation written to file Select option: 9 Menu for p-group generation ----------------------------- 1. Read automorphism information for starting group 2. Extend and display automorphisms 3. Specify input file and group number 4. List group presentation 5. Construct descendants 6. Interactive construction 7. Exit to main menu Select option: 1 Input the number of automorphisms: 6 Now enter the data for automorphism 1 Input 4 exponents for image of pcp generator 1: 1 0 0 0 Input 4 exponents for image of pcp generator 2: 0 1 0 1 Now enter the data for automorphism 2 Input 4 exponents for image of pcp generator 1: 1 1 0 0 Input 4 exponents for image of pcp generator 2: 0 1 0 0 Now enter the data for automorphism 3 Input 4 exponents for image of pcp generator 1: 1 0 0 0 Input 4 exponents for image of pcp generator 2: 0 4 0 0 Now enter the data for automorphism 4 Input 4 exponents for image of pcp generator 1: 1 0 0 0 Input 4 exponents for image of pcp generator 2: 0 2 0 0 Now enter the data for automorphism 5 Input 4 exponents for image of pcp generator 1: 4 0 0 0 Input 4 exponents for image of pcp generator 2: 0 1 0 0 Now enter the data for automorphism 6 Input 4 exponents for image of pcp generator 1: 2 0 0 0 Input 4 exponents for image of pcp generator 2: 0 1 0 0 Select option: 5 Input class bound on descendants: 4 Construct all descendants? 0 Input step size: 1 PAG-generating sequence for automorphism group? 1 Do you want default algorithm? 0 Rank of the initial segment subgroup? 4 Space efficient computation? 0 Completely process terminal descendants? 0 Input exponent law (0 if none): 0 Enforce metabelian law? 0 Do you want default output? 1 ************************************************** Starting group: Nott Order: 5^4 Nuclear rank: 1 5-multiplicator rank: 4 # of immediate descendants of order 5^5 is 9 # of capable immediate descendants is 2 ************************************************** 2 capable groups saved on file Nott_class4 Construction of descendants took 0.03 seconds Select option: 0 Exiting from p-group generation Select option: 0 Exiting from ANU p-Quotient Program Total user time in seconds is 0.06