"Source: Text/Group/GrpFPInt.text";
"Line: 1438";
"Date: Mon Jan 20 11:08:12 2020";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Group/GrpFPInt.text, line: 1438
// Example: H77E18 ()
print "Example: H77E18";
ei := GetEchoInput();
SetEchoInput(true);
G<a, b> := FPGroup<a, b| a^8, b^7, (a * b)^2, (a * b^-1)^3>;
G;
H<x, y> := sub< G | a^2, a * b^-1 >;
H;
Index(G, H);
Order(H);
DerivedSubgroup(G);
P := MinimalOvergroup(G, H);
P;
Order(P);
N := Normalizer(G, H);
N;
Order(N);
Q := MaximalOvergroup(G, H);
Q;
#Q;
M := NormalClosure(G, H);
M;
SetEchoInput(ei);
