"Source: Text/LieTheory/GrpLie.text";
"Line: 1159";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/LieTheory/GrpLie.text, line: 1159
// Example: H113E8 ()
print "Example: H113E8";
ei := GetEchoInput();
SetEchoInput(true);
G := GroupOfLieType("A5", Rationals() : Normalising := false);
V := VectorSpace(Rationals(), 5);
NumPosRoots(G);    
assert $1 eq 15;
elt< G | <5,1/2>, 1,3,2, [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15], 
         V![6,1/3,-1,3,2/3] >;
SetEchoInput(ei);
