"Source: Text/LieTheory/GrpLie.text";
"Line: 2967";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/LieTheory/GrpLie.text, line: 2967
// Example: H113E28 ()
print "Example: H113E28";
ei := GetEchoInput();
SetEchoInput(true);
G := TwistedGroupOfLieType("2E",6,3);
RootDatum(G);     
Dimension(G);
X,Y := CST_Generators("2E",6,3,[0,1,0,0,0,0]);
rho := Morphism(G,X,Y);
L := Codomain(rho);
Dimension(L);
F<t> := BaseRing(L);
I := sub<L | &cat X, &cat Y>;
g := Random(G);
A := L!ScalarMatrix(77,t)*rho(g);
s,z := ChevalleyForm(rho,A);
z;
&* s eq g;
assert $1;
SetEchoInput(ei);
