Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/hecke/lib/e2/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 29.7.2024 mit Größe 7 kB image not shown  

Quelle  p2sym.14   Sprache: unbekannt

 
## This is a GAP library file generated by 
## SPECHT version 2.0, (C) Andrew Mathas 1996.

## This file contains the decomposition matrix
## of the symmetric group Sym(14) over a field
## of characteristic 2.

A_Specht_Decomposition_Matrix:=rec(
d:=[[1,1,1,1,1,44,58,62,63,64],[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,36,37,38,41,42,43,45,46,47,55,56,57,59,61,65,67,68,69,78,79,80,82,83,84],[1,
1,1,34,77,87],[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,22,23,24,36,37,
38,52,55,56,61,65,66,67,69,70,74,75,78,81,82,84,85,86,88],[1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,33,35,36,40,41,43,54,55,57,61,78,79,80,82,83,84,96,97,
98,100],[1,1,1,2,1,2,2,1,1,1,1,21,44,51,58,60,62,63,64,94,99,101],[1,1,1,1,1,
1,1,1,1,1,1,1,2,1,1,1,1,1,1,1,1,1,1,1,1,2,1,1,1,1,1,1,1,1,1,1,1,1,18,19,22,29,
30,33,36,37,41,42,52,54,55,56,57,61,67,68,69,73,74,76,78,79,81,82,83,84,86,88,
89,90,93,95,96,100,102,103],[1,1,1,2,2,1,3,2,1,1,1,2,1,1,14,21,44,51,58,60,62,
63,64,92,94,99,101,104],[1,1,2,1,1,32,34,77,87,111],[1,1,1,1,1,1,1,2,1,2,1,1,
1,1,1,1,1,1,1,1,1,2,3,2,2,1,3,1,1,2,1,1,1,2,1,1,3,2,1,2,3,1,2,1,1,1,1,1,2,1,1,
2,1,1,1,1,1,1,1,1,17,18,20,22,23,28,29,33,35,36,37,38,39,40,41,42,43,46,50,52,
53,54,55,56,57,59,61,65,66,67,68,69,73,74,75,76,78,79,80,81,82,83,84,85,86,88,
93,95,96,97,98,100,102,103,108,109,110,112,113,114],[1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,13,17,18,28,29,33,50,52,53,54,
55,56,61,66,67,72,73,74,75,76,78,81,82,86,93,95,96,100,102,103,107,108,110,
113,114,115],[1,1,1,1,2,1,1,1,1,2,3,1,3,1,2,1,1,1,1,2,2,1,1,2,2,1,3,5,3,2,1,4,
1,1,3,2,1,1,3,3,1,2,4,2,1,3,5,2,2,1,2,1,1,1,1,2,3,3,1,1,3,3,2,1,1,1,1,1,2,1,2,
1,1,1,7,8,13,17,18,19,20,22,23,28,29,30,33,35,36,37,38,39,40,41,42,43,46,50,
52,53,54,55,56,57,59,61,65,66,67,68,69,72,73,74,75,76,78,79,80,81,82,83,84,85,
86,88,89,90,91,93,95,96,97,98,100,102,103,105,106,107,108,109,110,112,113,114,
115,116],[1,1,1,1,1,1,1,1,1,1,1,2,1,1,1,1,1,1,1,1,1,1,3,3,1,2,2,1,1,1,2,2,2,2,
2,2,3,1,1,1,1,1,1,2,2,3,1,1,2,1,1,1,1,1,1,1,1,1,1,1,16,17,18,19,20,22,27,28,
29,30,31,33,35,36,37,39,40,41,42,50,52,53,54,55,56,57,61,67,68,69,73,74,76,78,
79,81,82,83,84,86,88,89,90,93,95,96,97,98,100,102,103,108,109,110,112,113,114,
119,120,121],[1,1,1,1,3,1,2,2,1,2,2,3,1,1,1,1,12,14,21,49,51,58,60,62,63,92,
94,99,101,104,118,122],[1,1,1,1,1,1,1,1,1,2,2,2,2,1,4,2,2,1,1,3,3,1,1,2,2,1,5,
5,1,3,4,1,1,1,1,1,3,3,3,4,3,1,3,5,3,2,2,1,2,1,1,3,3,5,3,2,4,2,1,1,1,1,1,2,1,2,
1,1,1,1,1,2,1,1,6,7,13,16,17,18,19,20,22,27,28,29,30,31,33,35,36,37,39,40,41,
42,43,50,52,53,54,55,56,57,61,67,68,69,71,72,73,74,76,78,79,80,81,82,83,84,86,
88,89,90,91,93,95,96,97,98,100,102,103,106,107,108,109,110,112,113,114,115,
116,117,119,120,121,123],[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,11,15,16,22,23,24,26,27,31,36,37,
38,50,52,53,54,55,56,61,65,66,67,69,70,72,73,74,75,76,78,81,82,84,85,86,88,93,
95,96,107,108,110,119,120,121,125,126,127],[1,1,1,1,1,2,1,2,2,1,1,1,1,1,2,4,4,
1,1,4,1,2,1,1,2,2,2,2,1,1,1,4,3,3,5,6,3,2,1,5,1,2,3,2,1,1,3,5,5,2,4,5,2,1,5,6,
2,2,1,3,1,1,1,2,4,5,5,2,1,4,4,2,1,2,3,3,2,4,1,4,2,2,1,1,1,2,1,1,1,1,1,1,5,6,7,
8,11,13,16,17,18,19,20,22,23,26,27,28,29,30,31,33,35,36,37,38,39,40,41,42,43,
46,48,50,52,53,54,55,56,57,59,61,65,66,67,68,69,71,72,73,74,75,76,78,79,80,81,
82,83,84,85,86,88,89,90,91,93,95,96,97,98,100,102,103,105,106,107,108,109,110,
112,113,114,115,116,117,119,120,121,123,124,125,127,128],[1,1,1,1,2,2,2,2,2,2,
1,2,2,2,1,2,1,1,10,12,21,44,49,51,58,60,62,63,64,92,94,99,101,118,122,130],[1,
1,1,1,1,1,1,1,1,1,2,1,1,1,1,2,1,2,1,1,1,1,1,1,1,2,1,2,1,2,1,1,1,1,1,1,1,1,1,2,
2,2,1,2,2,2,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,4,5,11,25,26,27,28,31,
33,35,36,37,38,39,40,41,42,43,45,46,47,48,50,53,54,55,56,57,59,61,65,67,68,69,
71,72,73,74,76,78,79,80,81,82,83,84,91,93,95,96,97,98,100,106,107,108,109,110,
113,117,119,120,124,125,127,128,129,131],[1,1,1,1,1,2,1,1,1,2,1,1,1,1,1,3,3,3,
2,2,3,1,4,3,3,2,2,3,3,3,2,3,2,2,4,2,4,4,6,4,4,3,6,3,2,4,3,3,2,4,4,4,2,4,6,4,3,
4,6,3,4,1,2,1,2,4,4,4,2,1,3,2,1,2,4,4,2,4,1,3,2,1,2,2,3,1,1,2,3,1,2,1,1,1,1,1,
3,4,5,6,9,11,13,15,16,17,18,20,22,23,25,26,27,28,29,31,33,35,36,37,38,39,40,
41,42,43,45,46,47,48,50,52,53,54,55,56,57,59,61,65,66,67,68,69,71,72,73,74,75,
76,78,79,80,81,82,83,84,85,86,88,91,93,95,96,97,98,100,102,103,106,107,108,
109,110,112,113,114,115,117,119,120,121,123,124,125,126,127,128,129,131,132,
133],[1,1,1,1,1,1,2,2,1,1,2,1,1,1,3,3,2,2,2,5,3,4,3,2,2,4,5,3,3,2,2,2,1,3,2,2,
7,8,3,6,2,7,2,3,3,3,2,2,4,4,4,7,6,3,4,8,5,4,2,1,2,1,2,4,4,7,4,3,5,2,1,2,2,2,2,
3,2,3,2,1,1,2,2,3,2,1,1,1,1,1,1,1,2,3,6,7,9,13,16,17,18,19,20,22,25,26,27,28,
29,30,31,33,35,36,37,38,39,40,41,42,43,45,46,47,48,50,52,53,54,55,56,57,59,61,
65,67,68,69,71,72,73,74,76,78,79,80,81,82,83,84,86,88,89,90,91,93,95,96,97,98,
100,102,103,106,107,108,109,110,112,113,114,115,116,117,119,120,121,123,124,
125,129,132,133,134],[1,1,1,1,1,1,1,1,2,2,2,1,3,4,2,1,3,3,3,2,2,3,5,6,4,1,4,6,
3,8,7,7,4,4,6,6,5,4,5,4,3,7,5,6,9,14,9,8,5,13,7,4,9,6,7,2,3,5,8,9,4,7,13,8,5,
9,14,6,8,3,5,3,1,1,4,7,8,9,4,3,6,4,2,1,4,5,6,4,7,3,6,4,2,1,3,4,5,3,1,3,3,1,2,
1,2,1,2,1,1,1,1,2,3,4,5,6,7,8,9,11,13,15,16,17,18,19,20,22,23,24,25,26,27,28,
29,30,31,33,35,36,37,38,39,40,41,42,43,45,46,47,48,50,52,53,54,55,56,57,59,61,
65,66,67,68,69,70,71,72,73,74,75,76,78,79,80,81,82,83,84,85,86,88,89,90,91,93,
95,96,97,98,100,102,103,105,106,107,108,109,110,112,113,114,115,116,117,119,
120,121,123,124,125,126,127,128,129,131,132,133,134,135]],rows:=[[1,1,1,1,1,1,
1,1,1,1,1,1,1,1],[2,1,1,1,1,1,1,1,1,1,1,1,1],[2,2,1,1,1,1,1,1,1,1,1,1],[2,2,2,
1,1,1,1,1,1,1,1],[2,2,2,2,1,1,1,1,1,1],[2,2,2,2,2,1,1,1,1],[2,2,2,2,2,2,1,1],[
2,2,2,2,2,2,2],[3,1,1,1,1,1,1,1,1,1,1,1],[3,2,1,1,1,1,1,1,1,1,1],[3,2,2,1,1,1,
1,1,1,1],[3,2,2,2,1,1,1,1,1],[3,2,2,2,2,1,1,1],[3,2,2,2,2,2,1],[3,3,1,1,1,1,1,
1,1,1],[3,3,2,1,1,1,1,1,1],[3,3,2,2,1,1,1,1],[3,3,2,2,2,1,1],[3,3,2,2,2,2],[3,
3,3,1,1,1,1,1],[3,3,3,2,1,1,1],[3,3,3,2,2,1],[3,3,3,3,1,1],[3,3,3,3,2],[4,1,1,
1,1,1,1,1,1,1,1],[4,2,1,1,1,1,1,1,1,1],[4,2,2,1,1,1,1,1,1],[4,2,2,2,1,1,1,1],[
4,2,2,2,2,1,1],[4,2,2,2,2,2],[4,3,1,1,1,1,1,1,1],[4,3,2,1,1,1,1,1],[4,3,2,2,1,
1,1],[4,3,2,2,2,1],[4,3,3,1,1,1,1],[4,3,3,2,1,1],[4,3,3,2,2],[4,3,3,3,1],[4,4,
1,1,1,1,1,1],[4,4,2,1,1,1,1],[4,4,2,2,1,1],[4,4,2,2,2],[4,4,3,1,1,1],[4,4,3,2,
1],[4,4,3,3],[4,4,4,1,1],[4,4,4,2],[5,1,1,1,1,1,1,1,1,1],[5,2,1,1,1,1,1,1,1],[
5,2,2,1,1,1,1,1],[5,2,2,2,1,1,1],[5,2,2,2,2,1],[5,3,1,1,1,1,1,1],[5,3,2,1,1,1,
1],[5,3,2,2,1,1],[5,3,2,2,2],[5,3,3,1,1,1],[5,3,3,2,1],[5,3,3,3],[5,4,1,1,1,1,
1],[5,4,2,1,1,1],[5,4,2,2,1],[5,4,3,1,1],[5,4,3,2],[5,4,4,1],[5,5,1,1,1,1],[5,
5,2,1,1],[5,5,2,2],[5,5,3,1],[5,5,4],[6,1,1,1,1,1,1,1,1],[6,2,1,1,1,1,1,1],[6,
2,2,1,1,1,1],[6,2,2,2,1,1],[6,2,2,2,2],[6,3,1,1,1,1,1],[6,3,2,1,1,1],[6,3,2,2,
1],[6,3,3,1,1],[6,3,3,2],[6,4,1,1,1,1],[6,4,2,1,1],[6,4,2,2],[6,4,3,1],[6,4,
4],[6,5,1,1,1],[6,5,2,1],[6,5,3],[6,6,1,1],[6,6,2],[7,1,1,1,1,1,1,1],[7,2,1,1,
1,1,1],[7,2,2,1,1,1],[7,2,2,2,1],[7,3,1,1,1,1],[7,3,2,1,1],[7,3,2,2],[7,3,3,
1],[7,4,1,1,1],[7,4,2,1],[7,4,3],[7,5,1,1],[7,5,2],[7,6,1],[7,7],[8,1,1,1,1,1,
1],[8,2,1,1,1,1],[8,2,2,1,1],[8,2,2,2],[8,3,1,1,1],[8,3,2,1],[8,3,3],[8,4,1,
1],[8,4,2],[8,5,1],[8,6],[9,1,1,1,1,1],[9,2,1,1,1],[9,2,2,1],[9,3,1,1],[9,3,
2],[9,4,1],[9,5],[10,1,1,1,1],[10,2,1,1],[10,2,2],[10,3,1],[10,4],[11,1,1,1],[
11,2,1],[11,3],[12,1,1],[12,2],[13,1],[14]],cols:=[[5,4,3,2],[6,4,3,1],[6,5,2,
1],[6,5,3],[7,4,2,1],[7,4,3],[7,5,2],[7,6,1],[8,3,2,1],[8,4,2],[8,5,1],[8,6],[
9,3,2],[9,4,1],[9,5],[10,3,1],[10,4],[11,2,1],[11,3],[12,2],[13,1],[14]]);

[ Dauer der Verarbeitung: 0.11 Sekunden  (vorverarbeitet)  ]