Magma V2.20-10    Thu Nov 13 2014 13:22:03 on mathcompprd01 [Seed = 638943467]
Type ? for help.  Type <Ctrl>-D to quit.

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

Loading "code.m"
Loading "sign.m"
> 
> n := 9;
> 
> p := 3;
> G := eval Read ("plus-cover-s9-3");
> f := ProcessReps ([G], n);
Consider the following repn 1
Input degree =  16  Defining field size =  3
Order of generators  [ 2, 2, 2, 2, 2, 2, 2, 2, 2 ]
Composition Factors of G is 
    G
    |  Cyclic(2)
    *
    |  Alternating(9)
    *
    |  Cyclic(2)
    1
Refined bound on degree is  17
Order of G is  725760
... #O is now  362880
Found regular orbit
========================================
> 
> p := 5;
> G := eval Read ("plus-cover-s9-5");
> f := ProcessReps ([G], n);
Consider the following repn 1
Input degree =  16  Defining field size =  5
Order of generators  [ 2, 2, 2, 2, 2, 2, 2, 2, 4 ]
Composition Factors of G is 
    G
    |  Cyclic(2)
    *
    |  Alternating(9)
    *
    |  Cyclic(2)
    *
    |  Cyclic(2)
    1
Refined bound on degree is  14
Over refined degree limit -- so G has regular orbit
========================================
> 
> p := 7;
> G := eval Read ("plus-cover-s9-7");
> f := ProcessReps ([G], n);
Consider the following repn 1
Input degree =  16  Defining field size =  7
Order of generators  [ 2, 2, 2, 2, 2, 2, 2, 2, 6 ]
Composition Factors of G is 
    G
    |  Cyclic(2)
    *
    |  Alternating(9)
    *
    |  Cyclic(3)
    *
    |  Cyclic(2)
    1
Refined bound on degree is  13
Over refined degree limit -- so G has regular orbit
========================================
> 
> 

Total time: 10.679 seconds, Total memory usage: 131.97MB