GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Select option: 1 Input group identifier: c2c2 Input prime: 2 Input maximum class: 1 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-2 central series for c2c2 Group: c2c2 to lower exponent-2 central class 1 has order 2^2 Select option: 7 Group: c2c2 to lower exponent-2 central class 2 has order 2^5 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. Advanced p-group generation menu 7. Exit to basic menu Select option: 1 Input the number of automorphisms: 2 Now enter the data for automorphism 1 Input 2 exponents for image of pcp generator 1: 0 1 Input 2 exponents for image of pcp generator 2: 1 1 Now enter the data for automorphism 2 Input 2 exponents for image of pcp generator 1: 0 1 Input 2 exponents for image of pcp generator 2: 1 0 Input number of soluble generators for automorphism group: 0 Select option: 5 Input class bound on descendants: 7 Construct all descendants? 1 Set an order bound on the descendants? 1 Input order bound on descendants: 5 PAG-generating sequence for automorphism group? 1 Do you want default algorithm? 1 Do you want default output? 1 ************************************************** Starting group: c2c2 Order: 2^2 Nuclear rank: 3 2-multiplicator rank: 3 # of immediate descendants of order 2^3 is 3 # of capable immediate descendants is 2 # of immediate descendants of order 2^4 is 3 # of capable immediate descendants is 3 # of immediate descendants of order 2^5 is 1 # of capable immediate descendants is 1 ************************************************** 6 capable groups saved on file c2c2_class2 ************************************************** Starting group: c2c2 #1;1 Order: 2^3 Nuclear rank: 1 2-multiplicator rank: 3 # of immediate descendants of order 2^4 is 2 # of capable immediate descendants is 1 ************************************************** Starting group: c2c2 #2;1 Order: 2^3 Nuclear rank: 1 2-multiplicator rank: 3 # of immediate descendants of order 2^4 is 3 # of capable immediate descendants is 1 ************************************************** Starting group: c2c2 #4;2 Order: 2^4 Nuclear rank: 2 2-multiplicator rank: 3 # of immediate descendants of order 2^5 is 2 # of capable immediate descendants is 2 ************************************************** Starting group: c2c2 #5;2 Order: 2^4 Nuclear rank: 3 2-multiplicator rank: 4 # of immediate descendants of order 2^5 is 7 # of capable immediate descendants is 3 ************************************************** Starting group: c2c2 #6;2 Order: 2^4 Nuclear rank: 2 2-multiplicator rank: 3 # of immediate descendants of order 2^5 is 4 # of capable immediate descendants is 3 ************************************************** Starting group: c2c2 #7;3 Order: 2^5 Nuclear rank: 5 2-multiplicator rank: 5 Group c2c2 #7;3 is an invalid starting group ************************************************** 10 capable groups saved on file c2c2_class3 ************************************************** Starting group: c2c2 #1;1 #1;1 Order: 2^4 Nuclear rank: 1 2-multiplicator rank: 3 # of immediate descendants of order 2^5 is 2 # of capable immediate descendants is 1 ************************************************** Starting group: c2c2 #2;1 #1;1 Order: 2^4 Nuclear rank: 1 2-multiplicator rank: 3 # of immediate descendants of order 2^5 is 3 # of capable immediate descendants is 1 ************************************************** Starting group: c2c2 #4;2 #1;1 Order: 2^5 Nuclear rank: 1 2-multiplicator rank: 3 Group c2c2 #4;2 #1;1 is an invalid starting group ************************************************** Starting group: c2c2 #4;2 #2;1 Order: 2^5 Nuclear rank: 1 2-multiplicator rank: 3 Group c2c2 #4;2 #2;1 is an invalid starting group ************************************************** Starting group: c2c2 #5;2 #1;1 Order: 2^5 Nuclear rank: 1 2-multiplicator rank: 4 Group c2c2 #5;2 #1;1 is an invalid starting group ************************************************** Starting group: c2c2 #5;2 #2;1 Order: 2^5 Nuclear rank: 1 2-multiplicator rank: 4 Group c2c2 #5;2 #2;1 is an invalid starting group ************************************************** Starting group: c2c2 #5;2 #5;1 Order: 2^5 Nuclear rank: 1 2-multiplicator rank: 4 Group c2c2 #5;2 #5;1 is an invalid starting group ************************************************** Starting group: c2c2 #6;2 #1;1 Order: 2^5 Nuclear rank: 1 2-multiplicator rank: 3 Group c2c2 #6;2 #1;1 is an invalid starting group ************************************************** Starting group: c2c2 #6;2 #2;1 Order: 2^5 Nuclear rank: 1 2-multiplicator rank: 3 Group c2c2 #6;2 #2;1 is an invalid starting group ************************************************** Starting group: c2c2 #6;2 #3;1 Order: 2^5 Nuclear rank: 1 2-multiplicator rank: 3 Group c2c2 #6;2 #3;1 is an invalid starting group ************************************************** 2 capable groups saved on file c2c2_class4 ************************************************** Starting group: c2c2 #1;1 #1;1 #1;1 Order: 2^5 Nuclear rank: 1 2-multiplicator rank: 3 Group c2c2 #1;1 #1;1 #1;1 is an invalid starting group ************************************************** Starting group: c2c2 #2;1 #1;1 #1;1 Order: 2^5 Nuclear rank: 1 2-multiplicator rank: 3 Group c2c2 #2;1 #1;1 #1;1 is an invalid starting group Select option: 0 Exiting from p-group generation Select option: 0 Exiting from ANU p-Quotient Program