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

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

Loading "code.m"
Loading "sign.m"
> 
> n := 14;
> 
> p := 3;
> G := eval Read ("plus-cover-s14-3");
> H := SecondCover (G);
    G
    |  Cyclic(2)
    *
    |  Alternating(14)
    *
    |  Cyclic(2)
    1
> L := [G, H];
> f := ProcessReps (L, 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, 2 ]
Composition Factors of G is 
    G
    |  Cyclic(2)
    *
    |  Alternating(14)
    *
    |  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  46
Over refined degree limit -- so G has regular orbit
========================================
Consider the following repn 2
Input degree =  64  Defining field size =  3
Order of generators  [ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2 ]
Composition Factors of G is 
    G
    |  Cyclic(2)
    *
    |  Alternating(14)
    *
    |  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  46
Over refined degree limit -- so G has regular orbit
========================================
> 
> 
> 
> p := 7;
> G := eval Read ("plus-cover-s14-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, 2, 6 ]
Composition Factors of G is 
    G
    |  Cyclic(2)
    *
    |  Cyclic(3)
    *
    |  Alternating(14)
    *
    |  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-s14-11");
> f := ProcessReps ([G], n);
Consider the following repn 1
Input degree =  128  Defining field size =  11
Order of generators  [ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 10 ]
Composition Factors of G is
    G
    |  Cyclic(2)
    *
    |  Cyclic(5)
    *
    |  Alternating(14)
    *
    |  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  71
Over refined degree limit -- so G has regular orbit
========================================
>
> p := 13;
> G := eval Read ("plus-cover-s14-13");
> f := ProcessReps ([G], n);
Consider the following repn 1
Input degree =  128  Defining field size =  13
Order of generators  [ 2, 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(14)
    *
    |  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  71
Over refined degree limit -- so G has regular orbit
========================================


Total time: 259.120 seconds, Total memory usage: 96.16MB