"Source: Text/Group/GrpFP.text";
"Line: 7560";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpFP.text, line: 7560
// Example: H80E58 ()
print "Example: H80E58";
ei := GetEchoInput();
SetEchoInput(true);
G1<x,y,z> := FPGroup< x,y,z | x^2*y^5, x^14*z^23, (x^2,y), (x^2,z), x*y*z>;
G2<a,b> := FPGroup<a,b | a*b^16*a*b^-7, a^4*b^7*a^-1*b^7>;
G1s := Simplify(G1);
Ngens(G1s);
assert $1 eq 2;
G1!G1s.1, G1!G1s.2;
G2b<a,b,c> := FPGroup< a,b,c | a*b^16*a*b^-7, a^4*b^7*a^-1*b^7, c=b^7>;
isiso, f1, f2 := SearchForIsomorphism(G1s,G2b,4);
isiso;
assert $1;
f1;
f2;
SetEchoInput(ei);
