"Source: Text/Algebra/AlgLie.text";
"Line: 1285";
"Date: Thu Nov  7 07:18:13 2019";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Algebra/AlgLie.text, line: 1285
// Example: H107E15 ()
print "Example: H107E15";
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);
