Magma V2.20-10 Wed Nov 12 2014 22:47:58 on mathcompprd03 [Seed = 3388745102]
Type ? for help. Type -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