"Source: Text/Group/GrpFP.text";
"Line: 5163";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpFP.text, line: 5163
// Example: H80E40 ()
print "Example: H80E40";
ei := GetEchoInput();
SetEchoInput(true);
G<a,b,c> := BraidFPGroup(4);
H := sub< G | a,b >;
V := RightCosetSpace(G, H);
cs := CosetSatisfying(V, Generators(Subgroup(V))
                      : Normalizing := true, First := 2);
cs;
rep := c * b * a^2 * b * c;
rep^-1 * a * rep in H;
assert $1;
rep^-1 * b * rep in H;
assert $1;
SetEchoInput(ei);
