"Source: Text/RepThy/LieReps.text";
"Line: 1342";
"Date: Fri Sep 26 12:10:12 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/RepThy/LieReps.text, line: 1342
// Example: H114E10 ()
print "Example: H114E10";
ei := GetEchoInput();
SetEchoInput(true);
R := RootDatum("A4" : Isogeny := "SC");
stdrep := [1,0,0,0];
t := [1,0,0,0,2];
stdrep := [1,0,0,0];
Spectrum(R, stdrep, t);
mktoral := function(b, d)
    r := [ (i eq 1)
              select b[i]
              else b[i-1]+b[i] mod d
            : i in [1..(#b-1)]
         ];
    r[#b] := d;
    return r;
end function;
t2 := mktoral([0,0,0,1,1], 2); t2;
RM := Transpose(Matrix([[0,0,0,1]]));
T1 := RootDatum("T1" : Isogeny := "SC");
Branch(R, T1, stdrep, RM):Maximal;
SetEchoInput(ei);
