"Source: Text/Group/GrpASim.text";
"Line: 2688";
"Date: Wed May 31 07:54:47 2023";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Group/GrpASim.text, line: 2688
// Example: H71E13 ()
print "Example: H71E13";
ei := GetEchoInput();
SetEchoInput(true);
G := SL(4, 9);
M := GModule (G);
M := SymmetricPower (M, 2);
G := MatrixGroup (M);
G := RandomConjugate (G);
flag, H := RecogniseSmallDegree (G, "SL", 4, 9);
flag;
assert $1;
H;
g := Random (G);
 flag, h := SmallDegreePreimage (G, g);
h;
flag, gbar := SmallDegreeImage (G, h);
flag;
IsScalar (g * gbar^-1);
SetEchoInput(ei);
