"Source: Text/Algebra/AlgLie.text";
"Line: 1285";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Algebra/AlgLie.text, line: 1285
// Example: H110E15 ()
print "Example: H110E15";
ei := GetEchoInput();
SetEchoInput(true);
L := ExtremalLieAlgebra(Rationals(), 4);
vals, pairs := FreefValues(L);
vals;
#vals;
assert $1 eq 12;
pairs;
fValue(L, 1, 5);
assert $1 eq CoefficientRing(L).7;
fValue(L, 4, 17);
assert $1 eq -CR.3*CR.5 where CR := CoefficientRing(L);
fValueProof(L, 4, 17);
SetEchoInput(ei);
