"Source: Text/Algebra/AlgLie.text";
"Line: 734";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Algebra/AlgLie.text, line: 734
// Example: H110E9 ()
print "Example: H110E9";
ei := GetEchoInput();
SetEchoInput(true);
L<y,x> := FreeLieAlgebra(Rationals(), 2);
R := [(x, (x, (x, y))) - (y, (y, (x, y)))];
time K, G, B, f := NilpotentQuotient(R, 10);
K;
#B;
assert $1 eq 109;
B[100];
G;
f(B[3], B[13]);
SetEchoInput(ei);
