GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Select option: 1 Input group identifier: c5c5 Input prime: 5 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-5 central series for c5c5 Group: c5c5 to lower exponent-5 central class 1 has order 5^2 Select option: 7 Group: c5c5 to lower exponent-5 central class 2 has order 5^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: 2 0 Input 2 exponents for image of pcp generator 2: 0 1 Now enter the data for automorphism 2 Input 2 exponents for image of pcp generator 1: 4 1 Input 2 exponents for image of pcp generator 2: 4 0 Input number of soluble generators for automorphism group: 0 Select option: 5 Input class bound on descendants: 5 Construct all descendants? 1 Set an order bound on the descendants? 0 PAG-generating sequence for automorphism group? 0 Do you want default algorithm? 0 Rank of the initial segment subgroup? 0 Completely process terminal descendants? 0 Input exponent law (0 if none): 5 Enforce metabelian law? 0 Do you want default output? 1 ************************************************** Starting group: c5c5 Order: 5^2 Nuclear rank: 1 5-multiplicator rank: 1 # of immediate descendants of order 5^3 is 1 # of capable immediate descendants is 1 ************************************************** 1 capable group saved on file c5c5_class2 ************************************************** Starting group: c5c5 #1;1 Order: 5^3 Nuclear rank: 2 5-multiplicator rank: 2 true #I Order of GL subgroup is 480 #I No. of soluble autos is 0 #I dim U = 1 dim N = 2 dim M = 2 #I nice stabilizer with perm rep # of immediate descendants of order 5^4 is 1 # of capable immediate descendants is 1 # of immediate descendants of order 5^5 is 1 # of capable immediate descendants is 1 ************************************************** 2 capable groups saved on file c5c5_class3 ************************************************** Starting group: c5c5 #1;1 #1;1 Order: 5^4 Nuclear rank: 1 5-multiplicator rank: 2 # of immediate descendants of order 5^5 is 2 ************************************************** Starting group: c5c5 #1;1 #2;2 Order: 5^5 Nuclear rank: 3 5-multiplicator rank: 3 # of immediate descendants of order 5^6 is 3 true #I Order of GL subgroup is 480 #I No. of soluble autos is 3 #I dim U = 1 dim N = 3 dim M = 3 #I nice stabilizer with perm rep # of immediate descendants of order 5^7 is 3 # of capable immediate descendants is 1 # of immediate descendants of order 5^8 is 1 # of capable immediate descendants is 1 ************************************************** 2 capable groups saved on file c5c5_class4 ************************************************** Starting group: c5c5 #1;1 #2;2 #4;2 Order: 5^7 Nuclear rank: 1 5-multiplicator rank: 2 # of immediate descendants of order 5^8 is 2 # of capable immediate descendants is 2 ************************************************** Starting group: c5c5 #1;1 #2;2 #7;3 Order: 5^8 Nuclear rank: 2 5-multiplicator rank: 2 true #I Order of GL subgroup is 480 #I No. of soluble autos is 7 #I dim U = 1 dim N = 2 dim M = 2 #I nice stabilizer with perm rep # of immediate descendants of order 5^9 is 1 # of capable immediate descendants is 1 # of immediate descendants of order 5^10 is 1 # of capable immediate descendants is 1 ************************************************** 4 capable groups saved on file c5c5_class5 Select option: 0 Exiting from p-group generation Select option: 0 Exiting from ANU p-Quotient Program