Magma V2.20-10    Wed Nov 12 2014 22:47:58 on mathcompprd03 [Seed = 3388745102]
Type ? for help.  Type <Ctrl>-D to quit.

Loading startup file "/home/eobr007/.magma.startup"

Loading "code.m"
> 
> n := 8;
> p := 7;
> L := eval Read ("minus-covers-s8-d16-7");
> f := ProcessReps (L, n);
Consider the following repn 1
Input degree =  16  Defining field size =  7
Order of generators  [ 4, 4, 4, 4, 4, 4, 4, 6 ]
Composition Factors of G is 
    G
    |  Cyclic(2)
    *
    |  Alternating(8)
    *
    |  Cyclic(3)
    *
    |  Cyclic(2)
    1
Refined bound on degree is  12
Over refined degree limit -- so G has regular orbit
========================================
Consider the following repn 2
Input degree =  16  Defining field size =  7
Order of generators  [ 4, 4, 4, 4, 4, 4, 4, 6 ]
Composition Factors of G is 
    G
    |  Cyclic(2)
    *
    |  Alternating(8)
    *
    |  Cyclic(3)
    *
    |  Cyclic(2)
    1
Refined bound on degree is  12
Over refined degree limit -- so G has regular orbit
========================================
> 
> n := 9;
> p := 3;
> L := eval Read ("minus-covers-s9-d48-3");
> f := ProcessReps (L, n);
Consider the following repn 1
Input degree =  48  Defining field size =  3
Order of generators  [ 4, 4, 4, 4, 4, 4, 4, 4, 2 ]
Composition Factors of G is 
    G
    |  Cyclic(2)
    *
    |  Alternating(9)
    *
    |  Cyclic(2)
    1
Refined bound on degree is  32
Over refined degree limit -- so G has regular orbit
========================================
Consider the following repn 2
Input degree =  48  Defining field size =  3
Order of generators  [ 4, 4, 4, 4, 4, 4, 4, 4, 2 ]
Composition Factors of G is 
    G
    |  Cyclic(2)
    *
    |  Alternating(9)
    *
    |  Cyclic(2)
    1
Refined bound on degree is  32
Over refined degree limit -- so G has regular orbit
========================================
> 
> 
> 

Total time: 7.860 seconds, Total memory usage: 32.09MB