"Source: Text/RepThy/LieReps.text";
"Line: 1220";
"Date: Fri Sep 26 12:10:12 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/RepThy/LieReps.text, line: 1220
// Example: H114E9 ()
print "Example: H114E9";
ei := GetEchoInput();
SetEchoInput(true);
R := RootDatum("D4" : Isogeny := "SC");
DAd := AdjointRepresentationDecomposition(R);
pwrs := function(D, n)
  Q := [D];
  for i in [2..n] do
    Q[i] := Tensor(Q[1], Q[i-1]);
  end for;
  return Q;
end function;
time Q := pwrs(DAd, 7);
[ #q : q in Q ];
DH := LieRepresentationDecomposition(R, [2,2,0,0]);
time Q := pwrs(DH, 4); [ #q : q in Q ];
SetEchoInput(ei);
