Magma V2.20-10    Thu Nov 13 2014 20:39:14 on mathcompprd03 [Seed = 3906685282]
Type ? for help.  Type <Ctrl>-D to quit.

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

Loading "code.m"
Loading "sign.m"
> 
> n := 8;
> 
> p := 5; 
> G := eval Read ("minus-cover-s8-5");
> H := SecondCover (G);
    G
    |  Cyclic(2)
    *
    |  Alternating(8)
    *
    |  Cyclic(2)
    1
> L := [G, H];
> f := ProcessReps (L, n: Scalar := false);
Consider the following repn 1
Input degree =  8  Defining field size =  5
Order of generators  [ 4, 4, 4, 4, 4, 4, 4 ]
Composition Factors of G is 
    G
    |  Cyclic(2)
    *
    |  Alternating(8)
    *
    |  Cyclic(2)
    1
Refined bound on degree is  9
Order of G is  80640
... #O is now  1920
... #O is now  9984
... #O is now  50304
... #O is now  63744
... #O is now  104064
... #O is now  144384
... #O is now  146304
... #O is now  159744
... #O is now  166464
... #O is now  193344
... #O is now  220224
... #O is now  224064
... #O is now  264384
... #O is now  274464
... #O is now  287904
... #O is now  301344
... #O is now  314784
Proved no regular orbit
========================================
Consider the following repn 2
Input degree =  8  Defining field size =  5
Order of generators  [ 4, 4, 4, 4, 4, 4, 4 ]
Composition Factors of G is 
    G
    |  Cyclic(2)
    *
    |  Alternating(8)
    *
    |  Cyclic(2)
    1
Refined bound on degree is  9
Order of G is  80640
... #O is now  40320
... #O is now  67200
... #O is now  107520
... #O is now  147840
... #O is now  157920
... #O is now  198240
... #O is now  211680
... #O is now  213360
... #O is now  226800
... #O is now  240240
... #O is now  253680
... #O is now  260400
... #O is now  273840
... #O is now  300720
... #O is now  304560
... #O is now  331440
Proved no regular orbit
========================================
> 
> 
> 

Total time: 4.240 seconds, Total memory usage: 94.81MB