Skip to content

Commit

Permalink
test files now with InfoLevel 0
Browse files Browse the repository at this point in the history
  • Loading branch information
Leo committed Sep 19, 2024
1 parent 83c8854 commit da9e797
Showing 1 changed file with 0 additions and 221 deletions.
221 changes: 0 additions & 221 deletions tst/manexamples.tst
View file
Original file line number Diff line number Diff line change
Expand Up @@ -92,234 +92,13 @@ gap> C.cano.tab;
#####################################################################
# Chapter 4
#####################################################################
gap> SetInfoLevel(InfoModIsom, 1);
gap> bins := BinsByGT(2,6);
#I refine by abelian invariants of group (Sehgal/Ward)
#I 13 bins with 256 groups
#I refine by abelian invariants of center (Sehgal/Ward)
#I 30 bins with 237 groups
#I refine by abelian invariants of center with derived subgroup (Sandling)
#I 39 bins with 234 groups
#I refine by small group algebra (Sandling/Baginski)
#I 34 bins with 122 groups
#I refine by Jennings series (Passi+Sehgal/Ritter+Sehgal/Hertweck)
#I 36 bins with 120 groups
#I refine by Jennings series of derived group (Sandling)
#I 37 bins with 118 groups
#I refine by Baginski criteria
#I 35 bins with 114 groups
#I refine by Baginski-Caranti invariant
#I 35 bins with 114 groups
#I refine by nilpotency class for some cases (Baginski+Konovalov)
#I 35 bins with 114 groups
#I refine by Omega and Agemo (Margolis+Stanojkovski+Sakurai/Garcia-Lucas)
#I 33 bins with 110 groups
#I refine by lower central series (Margolis+Stanojkovski)
#I 33 bins with 110 groups
#I invariants for cyclic derived subgroup (Garcia-Lucas+del Rio+Stanojkovski)
#I 33 bins with 110 groups
#I refine by maximal abelian direct factor (Garcia-Lucas)
#I 33 bins with 110 groups
#I refine by lattice of canonical subgroups (Garcia-Lucas)
#I 32 bins with 108 groups
#I checking if covered by theory
#I 30 bins with 103 groups
#I refine by second cohomology group
start bin 1 of 27
start bin 2 of 27
start bin 3 of 27
start bin 4 of 27
start bin 5 of 27
start bin 6 of 27
start bin 7 of 27
start bin 8 of 27
start bin 9 of 27
start bin 10 of 27
start bin 11 of 27
start bin 12 of 27
start bin 13 of 27
start bin 14 of 27
start bin 15 of 27
start bin 16 of 27
start bin 17 of 27
start bin 18 of 27
start bin 19 of 27
start bin 20 of 27
start bin 21 of 27
start bin 22 of 27
start bin 23 of 27
start bin 24 of 27
start bin 25 of 27
start bin 26 of 27
start bin 27 of 27
#I 13 bins with 27 groups
#I refine by conjugacy classes (Parmenter+Polcino-Milies,Kuelshammer,Roggenkamp/Wursthorn)
start bin 1 of 13
start bin 2 of 13
start bin 3 of 13
start bin 4 of 13
start bin 5 of 13
start bin 6 of 13
start bin 7 of 13
start bin 8 of 13
start bin 9 of 13
start bin 10 of 13
start bin 11 of 13
start bin 12 of 13
start bin 13 of 13
#I 6 bins with 13 groups
#I refine by elem-ab subgroups (Quillen)
start bin 1 of 6
start bin 2 of 6
start bin 3 of 6
start bin 4 of 6
start bin 5 of 6
start bin 6 of 6
#I 4 bins with 9 groups

[ [ 156, 158, 160 ], [ 155, 157 ], [ 173, 176 ], [ 179, 180 ] ]


#####################################################################
gap> MIPSplitGroupsByAlgebras(2,6,bins[1]);
#I Refine bin
#I Weights yields bins [ [ 1, 2, 3 ] ]
#I Layer 1 yields bins [ [ 1, 2, 3 ] ]
#I layer 2 of dim 8 aut group has order 168 * 2^0
#I cover is determined
#I dim(M) = 9 and dim(U) = 4
#I extended autos
#I computed stabilizer
#I got quotient
#I induced autos
#I layer 2 of dim 8 aut group has order 168 * 2^0
#I cover is determined
#I dim(M) = 9 and dim(U) = 4
#I extended autos
#I computed stabilizer
#I got quotient
#I induced autos
#I layer 2 of dim 8 aut group has order 168 * 2^0
#I cover is determined
#I dim(M) = 9 and dim(U) = 4
#I extended autos
#I computed stabilizer
#I got quotient
#I induced autos
#I Layer 2 yields bins [ [ 1, 2, 3 ] ]
#I layer 3 of dim 15 aut group has order 2 * 2^15
#I cover is determined
#I dim(M) = 11 and dim(U) = 4
#I extended autos
#I computed stabilizer
#I got quotient
#I induced autos
#I layer 3 of dim 15 aut group has order 2 * 2^15
#I cover is determined
#I dim(M) = 11 and dim(U) = 4
#I extended autos
#I computed stabilizer
#I got quotient
#I induced autos
#I layer 3 of dim 15 aut group has order 2 * 2^15
#I cover is determined
#I dim(M) = 11 and dim(U) = 4
#I extended autos
#I computed stabilizer
#I got quotient
#I induced autos
#I Layer 3 yields bins [ [ 1, 2, 3 ] ]
#I layer 4 of dim 23 aut group has order 2 * 2^28
#I cover is determined
#I dim(M) = 12 and dim(U) = 4
#I extended autos
#I computed stabilizer
#I got quotient
#I induced autos
#I layer 4 of dim 23 aut group has order 2 * 2^28
#I cover is determined
#I dim(M) = 12 and dim(U) = 4
#I extended autos
#I computed stabilizer
#I got quotient
#I induced autos
#I layer 4 of dim 23 aut group has order 2 * 2^28
#I cover is determined
#I dim(M) = 12 and dim(U) = 4
#I extended autos
#I computed stabilizer
#I got quotient
#I induced autos
#I Layer 4 yields bins [ [ 1, 2, 3 ] ]
#I layer 5 of dim 31 aut group has order 2 * 2^41
#I cover is determined
#I dim(M) = 12 and dim(U) = 4
#I extended autos
#I computed stabilizer
#I got quotient
#I induced autos
#I layer 5 of dim 31 aut group has order 2 * 2^41
#I cover is determined
#I dim(M) = 12 and dim(U) = 4
#I extended autos
#I computed stabilizer
#I got quotient
#I induced autos
#I layer 5 of dim 31 aut group has order 2 * 2^41
#I cover is determined
#I dim(M) = 12 and dim(U) = 4
#I extended autos
#I computed stabilizer
#I got quotient
#I induced autos
#I Layer 5 yields bins [ [ 1, 2, 3 ] ]
#I layer 6 of dim 39 aut group has order 2 * 2^49
#I cover is determined
#I dim(M) = 12 and dim(U) = 4
#I extended autos
#I computed stabilizer
#I got quotient
#I induced autos
#I layer 6 of dim 39 aut group has order 2 * 2^49
#I cover is determined
#I dim(M) = 12 and dim(U) = 4
#I extended autos
#I computed stabilizer
#I got quotient
#I induced autos
#I layer 6 of dim 39 aut group has order 2 * 2^49
#I cover is determined
#I dim(M) = 12 and dim(U) = 4
#I extended autos
#I computed stabilizer
#I got quotient
#I induced autos
#I Layer 6 yields bins [ [ 1, 2, 3 ] ]
#I layer 7 of dim 47 aut group has order 2 * 2^58
#I cover is determined
#I dim(M) = 12 and dim(U) = 4
#I extended autos
#I computed stabilizer
#I got quotient
#I induced autos
#I layer 7 of dim 47 aut group has order 2 * 2^58
#I cover is determined
#I dim(M) = 12 and dim(U) = 4
#I extended autos
#I computed stabilizer
#I got quotient
#I induced autos
#I layer 7 of dim 47 aut group has order 2 * 2^58
#I cover is determined
#I dim(M) = 12 and dim(U) = 4
#I extended autos
#I computed stabilizer
#I got quotient
#I induced autos
#I Layer 7 yields bins [ ]
rec( bins := [ ], splits := [ [ 7, [ 156, 158, 160 ] ] ], time := 2243 )


#####################################################################
# Chapter 5
#####################################################################
Expand Down

0 comments on commit da9e797

Please sign in to comment.