Magma V2.20-10    Mon Nov 10 2014 21:35:12 on mathcompprd01 [Seed = 3957076352]
Type ? for help.  Type <Ctrl>-D to quit.

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

Loading "code.m"
> 
> n := 10;
> 
> p := 3;
> L := eval Read ("minus-cover-s10-3");
> f := ProcessReps (L, n);
Consider the following repn 1
Input degree =  16  Defining field size =  3
Order of generators  [ 4, 4, 4, 4, 4, 4, 4, 4, 4, 2 ]
Composition Factors of G is 
    G
    |  Cyclic(2)
    *
    |  Alternating(10)
    *
    |  Cyclic(2)
    1
Refined bound on degree is  18
Order of G is  7257600
... #O is now  3628800
... #O is now  4838400
... #O is now  8467200
... #O is now  9676800
... #O is now  13305600
... #O is now  14515200
... #O is now  15724800
... #O is now  19353600
... #O is now  22982400
... #O is now  24192000
... #O is now  24796800
... #O is now  25401600
... #O is now  29030400
... #O is now  29433600
... #O is now  30643200
... #O is now  33062400
... #O is now  33264000
... #O is now  34473600
... #O is now  36892800
Proved no regular orbit
========================================
Consider the following repn 2
Input degree =  16  Defining field size =  3
Order of generators  [ 4, 4, 4, 4, 4, 4, 4, 4, 4, 2 ]
Composition Factors of G is 
    G
    |  Cyclic(2)
    *
    |  Alternating(10)
    *
    |  Cyclic(2)
    1
Refined bound on degree is  18
Order of G is  7257600
... #O is now  3628800
... #O is now  4838400
... #O is now  8467200
... #O is now  9676800
... #O is now  13305600
... #O is now  13910400
... #O is now  17539200
... #O is now  21168000
... #O is now  23587200
... #O is now  23760000
... #O is now  24364800
... #O is now  25574400
... #O is now  27993600
... #O is now  29808000
... #O is now  33436800
... #O is now  34646400
... #O is now  35856000
Proved no regular orbit
========================================
Consider the following repn 3
Input degree =  48  Defining field size =  3
Order of generators  [ 4, 4, 4, 4, 4, 4, 4, 4, 4, 2 ]
Composition Factors of G is 
    G
    |  Cyclic(2)
    *
    |  Alternating(10)
    *
    |  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  33
Over refined degree limit -- so G has regular orbit
========================================
Consider the following repn 4
Input degree =  48  Defining field size =  3
Order of generators  [ 4, 4, 4, 4, 4, 4, 4, 4, 4, 2 ]
Composition Factors of G is 
    G
    |  Cyclic(2)
    *
    |  Alternating(10)
    *
    |  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  33
Over refined degree limit -- so G has regular orbit
========================================
> 
> p := 5;
> G := eval Read ("minus-cover-s10-5");
> f := ProcessReps ([G], n);
Consider the following repn 1
Input degree =  16  Defining field size =  5
Order of generators  [ 4, 4, 4, 4, 4, 4, 4, 4, 4, 4 ]
Composition Factors of G is 
    G
    |  Cyclic(2)
    *
    |  Cyclic(2)
    *
    |  Alternating(10)
    *
    |  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  15
Over refined degree limit -- so G has regular orbit
========================================
> 
> p := 7;
> L := eval Read ("minus-cover-s10-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, 4, 4, 6 ]
Composition Factors of G is 
    G
    |  Cyclic(2)
    *
    |  Alternating(10)
    *
    |  Cyclic(3)
    *
    |  Cyclic(2)
    1
Refined bound on degree is  14
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, 4, 4, 6 ]
Composition Factors of G is 
    G
    |  Cyclic(3)
    *
    |  Cyclic(2)
    *
    |  Alternating(10)
    *
    |  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  14
Over refined degree limit -- so G has regular orbit
========================================
> 
> 

Total time: 515.009 seconds, Total memory usage: 5183.38MB