Magma V2.20-10 Mon Nov 10 2014 21:35:12 on mathcompprd01 [Seed = 3957076352]
Type ? for help. Type -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