"Source: Text/Group/GrpFP.text";
"Line: 9013";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpFP.text, line: 9013
// Example: H80E71 ()
print "Example: H80E71";
ei := GetEchoInput();
SetEchoInput(true);
G<a,b> := FPGroup<a,b|a*b*a^-1=b^4>;
N,f := NilpotentQuotient(G,4);
N;
for i := 1 to Ngens(N) do
N.i @@ f;
end for;
G<a,b> := FPGroup<a,b|a*b^2*a^-1=b^4>;
N,f := NilpotentQuotient(G,4);
N;
for i := 1 to Ngens(N) do
N.i @@ f;
end for;
SetEchoInput(ei);
