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