"Source: Text/RepThy/ModAlg.text";
"Line: 935";
"Date: Fri Sep 26 12:10:12 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/RepThy/ModAlg.text, line: 935
// Example: H99E9 ()
print "Example: H99E9";
ei := GetEchoInput();
SetEchoInput(true);
SetSeed(1);
G := PermutationGroup< 22 |
        (1,2,4,8,16,9,18,13,3,6,12)(5,10,20,17,11,22,21,19,15,7,14),
        (1,18,4,2,6)(5,21,20,10,7)(8,16,13,9,12)(11,19,22,14,17),
        (1,18,2,4)(3,15)(5,9)(7,16,21,8)(10,12,20,13)(11,17,22,14) >;
M := PermutationModule(G, GaloisField(2));
M;
CM := Constituents(M);
CM;
L34 := Stabilizer(G, 1);
N := Restriction(M, L34);
N;
CN := Constituents(N);
CN;
Ind1 := Induction(CN[1], G);
Ind1;
Constituents(Ind1);
Ind2 := Induction(CN[2], G);
Ind2;
Constituents(Ind2);         
SetEchoInput(ei);
