"Source: Text/Algebra/AlgLie.text";
"Line: 5443";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Algebra/AlgLie.text, line: 5443
// Example: H110E58 ()
print "Example: H110E58";
ei := GetEchoInput();
SetEchoInput(true);
G:= SubalgebrasInclusionGraph( "D4" );
v:= Vertices(G);
tt:= [ SemisimpleType( Label(a) ) : a in v ];
Index( tt, "G2" );
M:= RestrictionMatrix( G, 17 );
R:= RootDatum( "D4" : Isogeny:= "SC" );
S:= RootDatum( "G2" : Isogeny:= "SC" ); 
D:= AdjointRepresentationDecomposition(R);
E:= Branch( S, D, M );
WeightsAndMultiplicities(E);
SetEchoInput(ei);
