"Source: Text/Group/GrpFP.text";
"Line: 4988";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpFP.text, line: 4988
// Example: H80E38 ()
print "Example: H80E38";
ei := GetEchoInput();
SetEchoInput(true);
function NormClosure(G, hgens)
xgens := hgens;
kgens := hgens;
indx := 0;
while # xgens ne 0 do
      Include(~kgens, Representative(xgens));
      V := CosetSpace(G, sub<G | kgens>);
      if IsComplete(V) then break; end if;
      xgens := ExcludedConjugates(V);
end while;
if IsComplete(V) then
          print "The subgroup generated by", kgens, "has index", #V;
          return kgens;
else
          print "The construction was unsuccessful";
          return {};
end if;
end function;
SetEchoInput(ei);
