Magma V2.20-10 Thu Nov 13 2014 13:22:21 on mathcompprd01 [Seed = 2460045565] Type ? for help. Type -D to quit. Loading startup file "/home/eobr007/.magma.startup" Loading "code.m" Loading "sign.m" > > n := 13; > > p := 3; > G := eval Read ("plus-cover-s13-3"); > f := ProcessReps ([G], n); Consider the following repn 1 Input degree = 64 Defining field size = 3 Order of generators [ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2 ] Composition Factors of G is G | Cyclic(2) * | Alternating(13) * | Cyclic(2) 1 #Warning: we will need to find a perm rep of the radical quotient! #Found perm rep of the radical quotient! Refined bound on degree is 45 Over refined degree limit -- so G has regular orbit ======================================== > > p := 5; > G := eval Read ("plus-cover-s13-5"); > f := ProcessReps ([G], n); Consider the following repn 1 Input degree = 64 Defining field size = 5 Order of generators [ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 4 ] Composition Factors of G is G | Cyclic(2) * | Cyclic(2) * | Alternating(13) * | Cyclic(2) 1 #Warning: we will need to find a perm rep of the radical quotient! #Found perm rep of the radical quotient! Refined bound on degree is 41 Over refined degree limit -- so G has regular orbit ======================================== > > p := 7; > G := eval Read ("plus-cover-s13-7"); > f := ProcessReps ([G], n); Consider the following repn 1 Input degree = 64 Defining field size = 7 Order of generators [ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 6 ] Composition Factors of G is G | Cyclic(2) * | Cyclic(3) * | Alternating(13) * | Cyclic(2) 1 #Warning: we will need to find a perm rep of the radical quotient! #Found perm rep of the radical quotient! Refined bound on degree is 40 Over refined degree limit -- so G has regular orbit ======================================== > > p := 11; > G := eval Read ("plus-cover-s13-11"); > f := ProcessReps ([G], n); Consider the following repn 1 Input degree = 64 Defining field size = 11 Order of generators [ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 10 ] Composition Factors of G is G | Cyclic(2) * | Cyclic(5) * | Alternating(13) * | Cyclic(2) 1 #Warning: we will need to find a perm rep of the radical quotient! #Found perm rep of the radical quotient! Refined bound on degree is 38 Over refined degree limit -- so G has regular orbit ======================================== > > p := 13; > G := eval Read ("plus-cover-s13-13"); > f := ProcessReps ([G], n); Consider the following repn 1 Input degree = 64 Defining field size = 13 Order of generators [ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 12 ] Composition Factors of G is G | Cyclic(2) * | Cyclic(3) * | Cyclic(2) * | Alternating(13) * | Cyclic(2) 1 #Warning: we will need to find a perm rep of the radical quotient! #Found perm rep of the radical quotient! Refined bound on degree is 38 Over refined degree limit -- so G has regular orbit ======================================== Total time: 287.569 seconds, Total memory usage: 64.12MB