"Source: Text/Algebra/AlgLie.text";
"Line: 692";
"Date: Thu Nov  7 07:18:13 2019";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Algebra/AlgLie.text, line: 692
// Example: H107E8 ()
print "Example: H107E8";
ei := GetEchoInput();
SetEchoInput(true);
L<x,y> := FreeLieAlgebra(Rationals(), 2);
R := [ x*(x*y)-2*x, y*(y*x)-2*y ];
K, phi := quo<L | R>;
K;
SemisimpleType(K);
[ b @@ phi : b in Basis(K) ];
phi(x*y);
SetEchoInput(ei);
