| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/spinsym/symdata/ (Algebra von RWTH Aachen Version 4.15.1©) Datei vom 1.9.2019 mit Größe 8 kB |
|
Quelle ctba14.tbl Sprache: unbekannt |
|
|
MBT("Alt(14)",3,
"(no info text)", [1,1,1,2,1,1,1,1,1,3,1,2,2,1,1,1,1,2,1,1,1,1,1,3,1,3,3,1,2,4], [5,4,2,0], [[1,2,3,4,5,6,7,10,11,13,15,18,20,27,28,31,32,33,40,43],[9,12,16,17,41],[26,29 ,35,71]], [], [[[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0 ,0,0,0],[0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,1,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0],[-1,0,0,-1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,-1,0,1,0,0,0,0 ,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0],[0,-1,0,0, -1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0],[0,-1,1,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [-1,0,0,1,0,0,0,0,-1,0,0,0,0,1,0,0,0,0,0,0],[0,1,-1,0,1,-1,0,0,0,0,-1,0,0,0,0, 1,0,0,0,0],[-1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,0,0,0,0,0,-1,1,-1,1, 0,0,0,0,0,0,0,0,0,0],[0,0,0,-1,0,0,1,0,1,-1,0,0,0,-1,1,0,0,0,0,0],[1,0,0,1,0,0 ,1,-1,0,-1,0,0,1,0,0,0,0,0,0,0],[-1,0,0,-1,0,0,-2,0,0,1,0,0,-1,0,-1,0,1,0,0,0] ,[0,1,-1,-1,0,0,-1,0,1,1,0,0,-1,-1,-1,0,1,0,-1,1],[-1,0,0,0,0,-1,0,0,0,0,0,1,0 ,0,0,0,0,0,0,0],[-1,0,1,-1,-1,1,-1,1,0,1,0,-1,-1,0,0,-1,0,1,0,0],[-1,-1,0,1,0, 0,0,0,-1,0,0,0,0,1,0,0,-1,0,1,0]],[[1,0,0,0,0],[-1,1,0,0,0],[-1,-1,1,0,0],[1,0 ,-1,1,0],[0,1,-1,-1,1]],[[1,0,0,0],[0,1,0,0],[-1,-1,1,-1],[0,0,0,1]]], 0, 0, 0, rec(CharacterParameters:=[[1,[[14],'0']],[1,[[13,1],'0']],[1,[[12,2],'0']],[1, [[12,1,1],'0']],[1,[[11,3],'0']],[1,[[11,2,1],'0']],[1,[[10,4],'0']],[1,[[10,3 ,1],'0']],[1,[[10,2,2],'0']],[1,[[10,2,1,1],'0']],[1,[[9,5],'0']],[1,[[9,4,1], '0']],[1,[[9,3,2],'0']],[1,[[9,3,1,1],'0']],[1,[[9,2,2,1],'0']],[1,[[8,6],'0'] ],[1,[[8,5,1],'0']],[1,[[8,4,2],'0']],[1,[[8,4,1,1],'0']],[1,[[8,3,3],'0']],[1 ,[[8,3,2,1],'0']],[1,[[8,2,2,1,1],'0']],[1,[[7,5,2],'0']],[1,[[7,5,1,1],'0']], [1,[[7,4,2,1],'0']],[1,[[7,3,3,1],'+']],[1,[[7,3,3,1],'-']],[1,[[7,3,2,2],'0'] ],[1,[[6,4,2,2],'0']],[1,[[6,4,2,1,1],'0']]])); MBT("Alt(14)",5, "(no info text)", [1,2,3,2,3,4,1,2,2,5,1,9,1,1,2,1,1,1,2,1,2,6,3,2,5,1,2,4,3,2,2,1,3,2,5,3,2,10, 11,3,3,5,1,4,1,1,7,2,4,3,3,8,9], [2,2,2,1,1,0,0,0,1,0,0], [[1,6,12,13,25,26,27,29,30,31,34,39,41,48],[2,5,7,9,11,14,16,17,18,32,33,40,52 ,54],[3,4,8,20,21,35,56,67,68,71]], [,,,[[1,2],[4,5],[2,3],[3,5]],[[1,2],[4,5],[3,5],[2,3]],,,,[[1,2],[2..4]]], [[[1,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,1,0,0,0,0,0,0,0,0,0],[0,0,0,0,-1,1,0, 0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,0,0,0,0,0,0],[-1,-1,1,0,0,0,0,0,0,0,0,0,0,0],[ 1,1,-1,0,0,0,1,0,0,0,0,0,0,0],[0,0,0,0,1,-1,0,0,0,1,0,0,0,0],[-1,-1,1,0,0,0,-1 ,0,0,0,0,0,0,1],[1,0,-1,1,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,-1,1,0,0,0,-1,0,1,0,0] ,[-2,0,1,-1,0,0,-1,1,0,0,0,0,0,0],[0,0,0,0,1,-1,0,0,1,0,0,0,0,0],[0,0,0,0,-2,1 ,0,0,-1,-1,1,0,0,0],[0,0,0,0,2,-1,0,0,1,1,-1,-1,1,0]],[[1,0,0,0,0,0,0,0,0,0,0, 0,0,0],[0,0,0,1,0,0,0,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,-1, 1,0,0,0,0,0,0,0,0,0],[0,0,0,1,-1,0,1,0,0,0,0,0,0,0],[1,-1,1,0,0,0,0,0,0,0,0,0, 0,0],[-1,0,-1,0,0,0,0,1,0,0,0,0,0,0],[1,0,1,0,0,0,0,-1,0,1,0,0,0,0],[-1,0,-1,0 ,0,0,0,1,0,-1,0,0,1,0],[0,0,0,1,-1,1,0,0,0,0,0,0,0,0],[0,0,0,-2,1,-1,-1,0,1,0, 0,0,0,0],[-2,1,-1,0,0,0,0,0,0,-1,1,0,0,0],[0,0,0,1,0,1,0,0,-1,0,0,1,0,0],[2,-1 ,1,0,0,0,0,0,0,1,-1,0,-1,1]],[[1,0,0,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0],[1, -1,0,1,0,0,0,0,0,0],[1,-1,1,0,0,0,0,0,0,0],[-2,1,-1,-1,1,0,0,0,0,0],[1,0,1,0, -1,1,0,0,0,0],[-1,0,-1,0,1,-1,0,1,0,-1],[0,0,0,0,0,0,0,0,0,1],[-1,1,-2,1,0,-1, 1,1,-1,-1],[0,0,0,0,0,0,0,-1,1,1]]], 0, 0, 0, rec(CharacterParameters:=[[1,[[14],'0']],[1,[[13,1],'0']],[1,[[12,2],'0']],[1, [[12,1,1],'0']],[1,[[11,3],'0']],[1,[[11,2,1],'0']],[1,[[11,1,1,1],'0']],[1,[[ 10,4],'0']],[1,[[10,3,1],'0']],[1,[[10,2,2],'0']],[1,[[10,2,1,1],'0']],[1,[[10 ,1,1,1,1],'0']],[1,[[9,5],'0']],[1,[[9,4,1],'0']],[1,[[9,3,2],'0']],[1,[[9,3,1 ,1],'0']],[1,[[9,2,2,1],'0']],[1,[[9,2,1,1,1],'0']],[1,[[8,6],'0']],[1,[[8,5,1 ],'0']],[1,[[8,4,2],'0']],[1,[[8,4,1,1],'0']],[1,[[8,3,3],'0']],[1,[[8,3,2,1], '0']],[1,[[8,3,1,1,1],'0']],[1,[[8,2,2,2],'0']],[1,[[8,2,2,1,1],'0']],[1,[[8,2 ,1,1,1,1],'0']],[1,[[7,7],'0']],[1,[[7,6,1],'0']],[1,[[7,5,2],'0']],[1,[[7,5,1 ,1],'0']],[1,[[7,4,3],'0']],[1,[[7,4,2,1],'0']],[1,[[7,4,1,1,1],'0']],[1,[[7,3 ,3,1],'0']],[1,[[7,3,2,2],'0']],[1,[[7,3,2,1,1],'0']],[1,[[7,3,1,1,1,1],'0']], [1,[[7,2,2,1,1,1],'+']],[1,[[7,2,2,1,1,1],'-']],[1,[[6,6,2],'0']],[1,[[6,6,1,1 ],'0']],[1,[[6,5,3],'0']],[1,[[6,5,2,1],'0']],[1,[[6,5,1,1,1],'0']],[1,[[6,4,3 ,1],'0']],[1,[[6,4,2,1,1],'0']],[1,[[6,4,1,1,1,1],'0']],[1,[[6,3,3,1,1],'+']], [1,[[6,3,3,1,1],'-']],[1,[[5,5,2,2],'0']],[1,[[5,5,2,1,1],'0']]])); MBT("Alt(14)",7, "(no info text)", [1,1,2,1,3,5,1,4,6,6,5,1,3,6,7,10,3,2,1,2,5,6,5,9,3,2,14,19,25,1,1,1,1,8,1,6, 12,1,3,15,20,1,1,22,27,1,11,5,1,18,6,5,16,1,1,26,17,2,23,24,3,2,21,13], [2,1,1,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [[1,2,8,9,14,19,25,29,34,47,50,54,60,63,65,68,70,71]], [,[[1,2],[4,5],[2,3],[5,6],[6,7],[3,7]],[[1,2],[2,3],[4,5],[5,6],[6,7],[3,7]], ,[[1,2],[4,5],[2,3],[5,6],[3,7],[6,7]],[[1,2],[3,4],[2,6],[4,5],[5,7],[6,7]]], [[[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0] ,[1,-1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,0,-1,0,0,1,0,0,0,0,0,0,0,0,0,0,0 ],[1,-1,0,1,0,0,-1,0,0,1,0,0,0,0,0,0,0,0],[-1,1,0,-1,0,0,1,0,0,-1,0,0,0,1,0,0, 0,0],[1,-1,1,1,-1,1,0,0,0,1,-1,1,-1,-1,1,-1,1,-1],[0,0,-1,0,1,-1,-1,0,0,0,1,-1 ,1,0,-1,1,0,1],[1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,1,-1,-1,1,0,0,0,0,0, 0,0,0,0,0,0,0,0],[2,-1,1,1,-1,0,-1,1,0,0,0,0,0,0,0,0,0,0],[-2,1,-1,-1,1,0,1,-1 ,0,-1,1,0,0,0,0,0,0,0],[1,-1,1,1,-1,1,0,0,0,1,-1,1,-1,-1,1,-1,0,0],[1,0,0,0,0, -1,-1,1,0,0,0,-1,1,0,0,1,0,0],[1,-1,1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0],[-2,2,-2 ,-1,1,-1,1,-1,1,0,0,0,0,0,0,0,0,0],[1,-1,1,1,-1,1,0,0,0,1,-1,1,-1,0,0,0,0,0],[ 1,-1,1,0,0,0,-1,1,-1,0,0,0,1,0,0,0,0,0]]], 0, 0, 0, rec(CharacterParameters:=[[1,[[14],'0']],[1,[[13,1],'0']],[1,[[12,2],'0']],[1, [[12,1,1],'0']],[1,[[11,3],'0']],[1,[[11,2,1],'0']],[1,[[11,1,1,1],'0']],[1,[[ 10,4],'0']],[1,[[10,3,1],'0']],[1,[[10,2,2],'0']],[1,[[10,2,1,1],'0']],[1,[[10 ,1,1,1,1],'0']],[1,[[9,5],'0']],[1,[[9,4,1],'0']],[1,[[9,3,2],'0']],[1,[[9,3,1 ,1],'0']],[1,[[9,2,2,1],'0']],[1,[[9,2,1,1,1],'0']],[1,[[9,1,1,1,1,1],'0']],[1 ,[[8,6],'0']],[1,[[8,5,1],'0']],[1,[[8,4,2],'0']],[1,[[8,4,1,1],'0']],[1,[[8,3 ,3],'0']],[1,[[8,3,2,1],'0']],[1,[[8,3,1,1,1],'0']],[1,[[8,2,2,2],'0']],[1,[[8 ,2,2,1,1],'0']],[1,[[8,2,1,1,1,1],'0']],[1,[[8,1,1,1,1,1,1],'+']],[1,[[8,1,1,1 ,1,1,1],'-']],[1,[[7,7],'0']],[1,[[7,6,1],'0']],[1,[[7,5,2],'0']],[1,[[7,5,1,1 ],'0']],[1,[[7,4,3],'0']],[1,[[7,4,2,1],'0']],[1,[[7,4,1,1,1],'0']],[1,[[7,3,3 ,1],'0']],[1,[[7,3,2,2],'0']],[1,[[7,3,2,1,1],'0']],[1,[[7,3,1,1,1,1],'+']],[1 ,[[7,3,1,1,1,1],'-']],[1,[[7,2,2,2,1],'0']],[1,[[7,2,2,1,1,1],'0']],[1,[[6,6,2 ],'0']],[1,[[6,6,1,1],'0']],[1,[[6,5,3],'0']],[1,[[6,5,2,1],'0']],[1,[[6,5,1,1 ,1],'0']],[1,[[6,4,4],'0']],[1,[[6,4,3,1],'0']],[1,[[6,4,2,2],'0']],[1,[[6,4,2 ,1,1],'+']],[1,[[6,4,2,1,1],'-']],[1,[[6,4,1,1,1,1],'0']],[1,[[6,3,3,2],'0']], [1,[[6,3,3,1,1],'0']],[1,[[6,3,2,2,1],'0']],[1,[[6,2,2,2,2],'0']],[1,[[5,5,4], '0']],[1,[[5,5,3,1],'0']],[1,[[5,5,2,1,1],'0']],[1,[[5,4,4,1],'0']]])); MBT("Alt(14)",2, "(no info text)", [1,1,1,1,2,1,1,1,2,1,1,1,1,3,2,2,1,2,1,1,3,3,1,2,2], [10,6..2], [[1,2,3,4,5,6,7,11,13,16,17,18,22,33,36],[10,12,14,21,44,60,71],[32,34,68]], [], [[[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,-1,1,0,0 ,0,0,0,0,0,0,0,0,0,0],[-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,-1,1,0,0,0,0,0, 0,0,0,0,0],[-1,1,-1,0,-1,0,0,1,0,0,0,0,0,0,0],[0,0,-1,1,-1,1,0,0,0,0,0,0,0,0,0 ],[0,-2,1,0,1,-1,0,-1,0,1,0,0,0,0,0],[0,-1,1,0,0,-1,1,0,0,0,0,0,0,0,0],[-1,1, -1,1,-1,0,-1,0,1,0,0,0,0,0,0],[-1,2,-2,0,-1,1,0,1,-1,-1,1,0,0,0,0],[1,1,0,0,0, 1,-1,0,0,0,-1,1,0,0,0],[2,-2,2,-2,1,-2,-1,0,1,0,-1,-1,0,1,0],[-1,-1,1,0,1,-1,0 ,-1,1,0,0,-1,1,0,0],[-1,-1,-1,0,0,1,0,-1,0,1,0,1,-1,-1,1]],[[1,0,0,0,0,0,0],[ -1,1,0,0,0,0,0],[1,0,1,0,0,0,-1],[0,-1,0,0,0,0,1],[-1,0,-1,1,0,0,0],[-1,0,0,0, 1,-1,1],[0,1,0,-1,0,1,-1]],[[1,0,0],[0,1,-1],[-1..1]]], 0, 0, 0, rec(CharacterParameters:=[[1,[[14],'0']],[1,[[13,1],'0']],[1,[[12,2],'0']],[1, [[11,3],'0']],[1,[[11,2,1],'0']],[1,[[10,4],'0']],[1,[[10,3,1],'0']],[1,[[9,5] ,'0']],[1,[[9,4,1],'0']],[1,[[9,3,2],'0']],[1,[[8,6],'0']],[1,[[8,5,1],'0']],[ 1,[[8,4,2],'0']],[1,[[8,3,2,1],'0']],[1,[[7,6,1],'+']],[1,[[7,6,1],'-']],[1,[[ 7,5,2],'0']],[1,[[7,4,3],'0']],[1,[[7,4,2,1],'0']],[1,[[6,5,3],'0']],[1,[[6,5, 2,1],'+']],[1,[[6,5,2,1],'-']],[1,[[6,4,3,1],'0']],[1,[[5,4..2],'+']],[1,[[5,4 ..2],'-']]])); [ Dauer der Verarbeitung: 0.24 Sekunden (vorverarbeitet) ] |
2026-03-28