"Source: Text/Group/GrpBrd.text";
"Line: 1521";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpBrd.text, line: 1521
// Example: H82E3 ()
print "Example: H82E3";
ei := GetEchoInput();
SetEchoInput(true);
B := BraidGroup(6);
SetElementPrintFormat(~B, "CFP");

u := B ! <"Artin",
         0,
         [ Sym(6) | (1,6)(3,5,4), (1,3)(2,6)(4,5), (2,3)],
         0>;
u;
u_Artin := LeftNormalForm(u);
u_Artin;
u_BKL := LeftNormalForm(u : Presentation := "BKL");
CFP(u_BKL : Presentation := "BKL");
v := LeftNormalForm(B.5*B.2^-2*B.4*B.3^-1*B.5^-1*B.3^-1*B.5); 
v;
Infimum(v);
assert $1 eq -3;
CanonicalLength(v);
assert $1 eq 4;
Supremum(v);
assert $1 eq 1;
RightNormalForm(v);
SetEchoInput(ei);
