"Source: Text/Algebra/AlgLie.text";
"Line: 476";
"Date: Thu Nov  7 07:18:13 2019";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Algebra/AlgLie.text, line: 476
// Example: H107E4 ()
print "Example: H107E4";
ei := GetEchoInput();
SetEchoInput(true);
L<z,y,x> := FreeLieAlgebra(Rationals(), 3);
x*y;
(x, y);
((x*y)*z);                        
((x, y), z);                        
((x, y),(y, x));
assert $1 eq 0;
2*((x, y), z) - ((x, z), (y, z)) + 1/2*(x, (x, (y, z)));
SetEchoInput(ei);
