"Source: Text/Group/GrpSLP.text";
"Line: 292";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpSLP.text, line: 292
// Example: H85E2 ()
print "Example: H85E2";
ei := GetEchoInput();
SetEchoInput(true);
G := SLPGroup(2);
M := GeneralLinearGroup(19, 7);
P := RandomProcess(G);
x := Random(P);
#x;
m := Evaluate(x, [M.1, M.2]);
Order(m);
Q := [x^G.1, x^G.2, x^(G.1*G.2)];
phi := hom<G -> M | M.1, M.2>;
time R1 := phi(Q);
H := AddRedundantGenerators(G, [x]);
QQ := [H | x: x in Q];
psi := hom<H -> M | phi>;
time R2 := psi(QQ);
R1 eq R2;
assert $1;
[#x: x in Q];
[#x: x in QQ];
SetEchoInput(ei);
