"Source: Text/Group/GrpPerm.text";
"Line: 7965";
"Date: Wed Mar 24 09:34:33 2021";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Group/GrpPerm.text, line: 7965
// Example: H64E41 ()
print "Example: H64E41";
ei := GetEchoInput();
SetEchoInput(true);
SetSeed(1);
G:= sub< GL(10,5) |
PermutationMatrix(GF(5),Sym(10)![2,3,4,5,6,7,8,9,1,10]),
PermutationMatrix(GF(5),Sym(10)![1,3,4,5,6,7,8,9,10,2]) >;
GuessAltsymDegree(G);
flag, m1, m2, m3, m4  := RecogniseAlternating(G,10);
flag;
assert $1;
x:=Random(G); Order(x);
m1(x);
m2(m1(x)) eq x;
assert $1;
m4(m3(x)) eq x;
assert $1;
flag, w := AlternatingElementToWord(G,x);
flag;
assert $1;
m4(w) eq x;                                           
assert $1;
y := Random(Generic(G));
flag, w := AlternatingElementToWord(G,y);
flag;
assert not $1;
flag, m1, m2, m3, m4 := RecogniseAlternating(G,11);
flag;
assert not $1;
flag, m1, m2, m3, m4 := RecogniseSymmetric(G,10);
flag;
assert not $1;
GuessAltsymDegree(Sym(50));
GuessAltsymDegree(Alt(73));
GuessAltsymDegree(PSL(5,5)); 
SetEchoInput(ei);
