"Source: Text/RepThy/ModAlg.text";
"Line: 5535";
"Date: Fri Sep 26 12:10:12 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/RepThy/ModAlg.text, line: 5535
// Example: H99E39 ()
print "Example: H99E39";
ei := GetEchoInput();
SetEchoInput(true);
G := SmallGroup(416, 136);
G;
IrreducibleModules(G, GF(2)); 
IrreducibleModules(G, GF(13));
time L := IrreducibleModules(G, Rationals());     
L;                                           
Exponent(G);
assert $1 eq 104;
mods := IrreducibleModules(G, CyclotomicField(104));
#mods;
#Classes(G);
assert $1 eq 53;
[ Dimension(N) : N in mods ];
X := CharacterTable(G);                                                                  
[ Degree(x) : x in X ];
SetEchoInput(ei);
