"Source: Text/Algebra/AlgLie.text";
"Line: 1845";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Algebra/AlgLie.text, line: 1845
// Example: H110E20 ()
print "Example: H110E20";
ei := GetEchoInput();
SetEchoInput(true);
W, phi := WittLieAlgebra(GF(9), 2, [2,1]);
W;
IsSimple(W);
assert $1;
P<x1, x2, d1, d2> := Domain(phi);
phi(x1*d1);
(phi(x1*d1)*phi(x1^2*x2*d2)) @@ phi;
W := WittLieAlgebra(GF(2), 1, [1]);
W;
IsSimple(W);
assert not $1;
IsRestrictedLieAlgebra(W);
SetEchoInput(ei);
