"Source: Text/Group/GrpFP.text";
"Line: 233";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpFP.text, line: 233
// Example: H80E1 ()
print "Example: H80E1";
ei := GetEchoInput();
SetEchoInput(true);
 F<a, b> := FreeGroup(2);
 G<x, y>, phi := quo< F | a^2, b^3, (a*b)^4 >;
 F<a, b> := FreeGroup(2);
 G<x, y>, phi :=  quo< F | a^2 = b^3 = (a*b)^4 = 1>;
 F<a, b> := FreeGroup(2);
 rels := { a^2, b^3, (a*b)^4 };
 G<x, y>, phi :=  quo< F | rels >;
SetEchoInput(ei);
