"Source: Text/Group/GrpASim.text";
"Line: 2733";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpASim.text, line: 2733
// Example: H72E13 ()
print "Example: H72E13";
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);
