"Source: Text/Algebra/AlgLie.text";
"Line: 2930";
"Date: Thu Nov  7 07:18:13 2019";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Algebra/AlgLie.text, line: 2930
// Example: H107E31 ()
print "Example: H107E31";
ei := GetEchoInput();
SetEchoInput(true);
RA3 := RootDatum("A3" : Isogeny := 2);
L := LieAlgebra(RA3, GF(2));
D := DirectSumDecomposition(L);
D;
R, str, Q, _ := ReductiveType(L);
R;
str;
Q;
M := D[1]; M;
assert Dimension(M) eq 14;
R, _, _, P := ReductiveType(M);
R;
pos  := P[1]`ChevBasData`BasisPos;
neg  := P[1]`ChevBasData`BasisNeg;
cart := P[1]`ChevBasData`BasisCart;
IsChevalleyBasis(M, RootDatum("G2"), pos, neg, cart);
assert $1;
SetEchoInput(ei);
