"Source: Text/LieTheory/GrpRfl.text";
"Line: 214";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/LieTheory/GrpRfl.text, line: 214
// Example: H109E3 ()
print "Example: H109E3";
ei := GetEchoInput();
SetEchoInput(true);
G := GL(3,25);
ccl := Classes(G);
T := [ c : c in ccl | IsTransvection(c[3]) ];
#T;
assert $1 eq 1;
t := T[1][3]; t;
S := ncl< G | t >;
S eq SL(3,25);
assert $1;
SetEchoInput(ei);
