"Source: Text/Algebra/AlgLie.text";
"Line: 1649";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Algebra/AlgLie.text, line: 1649
// Example: H110E19 ()
print "Example: H110E19";
ei := GetEchoInput();
SetEchoInput(true);
DynkinDiagram("E6");
LieAlgebra( "E6", GF(5), Sym(6)!(1,6)(3,5) );
Rt := TwistedRootDatum(RootDatum("D4") : Twist := 3);
k := GF(7);
L, phi, Lp, H, Hp := TwistedLieAlgebra(Rt, k);
assert CoefficientRing(Lp) eq GF(7,3);
L;
Lp;
phi(L.3);
IsSplitToralSubalgebra(L, H);
assert $1;
IsSplitToralSubalgebra(Lp, Hp);
assert $1;
forall{b : b in Basis(H) | phi(b) in Hp};
assert $1;
SetEchoInput(ei);
