"Source: Text/RepThy/LieReps.text";
"Line: 640";
"Date: Fri Sep 26 12:10:12 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/RepThy/LieReps.text, line: 640
// Example: H114E5 ()
print "Example: H114E5";
ei := GetEchoInput();
SetEchoInput(true);
G := GroupOfLieType("A2", Rationals() : Isogeny := "SC");
rho := StandardRepresentation(G);
rho(elt< G | 1 >);
rho(elt<G | <2,1/2> >);
rho(elt< G | VectorSpace(Rationals(),2)![3,5] >);
G := GroupOfLieType("A2", Rationals());
Invariants(CoisogenyGroup(G));
rho := StandardRepresentation(G);
BaseRing(Codomain(rho));
rho(elt< G | VectorSpace(Rationals(),2)![3,1] >);
rho(elt< G | VectorSpace(Rationals(),2)![3,1] >)^3;
SetEchoInput(ei);
