"Source: Text/Group/GrpFP.text";
"Line: 10762";
"Date: Mon May 17 16:13:13 2021";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Group/GrpFP.text, line: 10762
// Example: H78E86 ()
print "Example: H78E86";
ei := GetEchoInput();
SetEchoInput(true);
F := FreeGroup(2);
rel := (F.1 * F.2 * F.1 * F.2 * F.1 * F.2 * F.1 * F.2 * F.1 * F.2 *
  F.1 * F.2 * F.1 * F.2 * F.1 * F.2^-1 * F.1 * F.2 * F.1 * F.2^-1)^2;
G := quo<F | [F.1^2 ,F.2^3, rel]>;
HasInfinitePSL2Quotient(G : Full := true);
assert $1;
HasInfinitePSL2Quotient(G : Full := true, Signs := [-1,1,0]);
assert $1;
G := quo<F | [F.1^2 ,F.2^3, (F.1*F.2)^5]>;
HasInfinitePSL2Quotient(G);
assert not $1;
HasInfinitePSL2Quotient(G : Full := true, Signs := [-1,1,0]);
assert not $1;
SetEchoInput(ei);
