"Source: Text/Algebra/AlgLie.text";
"Line: 597";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Algebra/AlgLie.text, line: 597
// Example: H110E6 ()
print "Example: H110E6";
ei := GetEchoInput();
SetEchoInput(true);
L<x7,x6,x5,x4,x3,x2,x1>:= FreeLieAlgebra(RationalField(), 7);
pp:= { [1,3], [3,4], [2,4], [4,5], [5,6], [6,7] };
R:= [ ];
g:= [ L.i : i in [1..7] ];
for i in [1..7] do
    for j in [i+1..7] do
        if [i,j] in pp then
           a:= (g[i],(g[i],g[j]));
           Append( ~R, a );
           Append( ~R, (g[j],(g[j],g[i])) );
        else
           Append( ~R, (g[i],g[j]) );
        end if;
    end for;
end for;
R;
time K, G, B, f := LieAlgebra(R);
K;
#B;
assert $1 eq 63;
B[63];
SetEchoInput(ei);
