"Source: Text/Group/GrpBrd.text";
"Line: 3609";
"Date: Thu Nov  7 07:18:13 2019";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Group/GrpBrd.text, line: 3609
// Example: H80E11 ()
print "Example: H80E11";
ei := GetEchoInput();
SetEchoInput(true);
B := BraidGroup(4);
f := BurauRepresentation(B);
A := Codomain(f);
A;
F := BaseRing(A);
F;
AssignNames(~F, ["t"]);
f(B.1);
f(B.2);
f(B.3);
SetEchoInput(ei);
