"Source: Text/RepThy/ModAlg.text";
"Line: 5140";
"Date: Fri Sep 26 12:10:12 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/RepThy/ModAlg.text, line: 5140
// Example: H99E33 ()
print "Example: H99E33";
ei := GetEchoInput();
SetEchoInput(true);
G := PermutationGroup("M22d2",1);
irrs := AbsolutelyIrreducibleModules(G, GF(2));
irrs;
time verts := [Vertex(m):  m in irrs];
[#v : v in verts];
time srcs := [Source(m) : m in irrs];
srcs;
m := irrs[#irrs];
m4 := ChangeRing(m, GF(4));
time Source(m4);
SetEchoInput(ei);
