Magma V2.20-10 Thu Nov 13 2014 20:39:14 on mathcompprd03 [Seed = 3906685282] Type ? for help. Type -D to quit. Loading startup file "/home/eobr007/.magma.startup" Loading "code.m" Loading "sign.m" > > n := 8; > > p := 5; > G := eval Read ("minus-cover-s8-5"); > H := SecondCover (G); G | Cyclic(2) * | Alternating(8) * | Cyclic(2) 1 > L := [G, H]; > f := ProcessReps (L, n: Scalar := false); Consider the following repn 1 Input degree = 8 Defining field size = 5 Order of generators [ 4, 4, 4, 4, 4, 4, 4 ] Composition Factors of G is G | Cyclic(2) * | Alternating(8) * | Cyclic(2) 1 Refined bound on degree is 9 Order of G is 80640 ... #O is now 1920 ... #O is now 9984 ... #O is now 50304 ... #O is now 63744 ... #O is now 104064 ... #O is now 144384 ... #O is now 146304 ... #O is now 159744 ... #O is now 166464 ... #O is now 193344 ... #O is now 220224 ... #O is now 224064 ... #O is now 264384 ... #O is now 274464 ... #O is now 287904 ... #O is now 301344 ... #O is now 314784 Proved no regular orbit ======================================== Consider the following repn 2 Input degree = 8 Defining field size = 5 Order of generators [ 4, 4, 4, 4, 4, 4, 4 ] Composition Factors of G is G | Cyclic(2) * | Alternating(8) * | Cyclic(2) 1 Refined bound on degree is 9 Order of G is 80640 ... #O is now 40320 ... #O is now 67200 ... #O is now 107520 ... #O is now 147840 ... #O is now 157920 ... #O is now 198240 ... #O is now 211680 ... #O is now 213360 ... #O is now 226800 ... #O is now 240240 ... #O is now 253680 ... #O is now 260400 ... #O is now 273840 ... #O is now 300720 ... #O is now 304560 ... #O is now 331440 Proved no regular orbit ======================================== > > > Total time: 4.240 seconds, Total memory usage: 94.81MB