"Source: Text/RepThy/ModAlg.text";
"Line: 5534";
"Date: Tue May 30 11:26:03 2023";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/RepThy/ModAlg.text, line: 5534
// Example: H97E39 ()
print "Example: H97E39";
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);
