"Source: Text/Group/GrpFree.text";
"Line: 884";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpFree.text, line: 884
// Example: H78E5 ()
print "Example: H78E5";
ei := GetEchoInput();
SetEchoInput(true);
F<a,b,c> := FreeGroup(3);
F;
H<x, y> := sub< F | a, b>;
H;
Index(F, H);
K := H^(a*b*c);
K;
H eq K;
H meet K;
N := Normalizer(F, K);
N;
K eq N;
SetEchoInput(ei);
