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 9 kB image not shown  

Quelle  ctba15.tbl   Sprache: unbekannt

 
MBT("Alt(15)",2,
"(no info text)",
[1,2,1,2,1,1,1,2,1,2,1,1,1,2,2,2,1,2,1,2,1,1,2,2,1,2,2,2,1,4,3],
[10,9,0,0],
[[1,3,5,7,10,11,12,13,14,18,20,22,23,40,49],[2,4,6,8,17,19,26,35,36,37,41,54,
87,93]],
[],
[[[1,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,1
,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,-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,-1,0,1,0,0,0,0,0,0,0,0,0,0,0],[0
,1,0,-1,-1,1,-1,1,0,0,0,0,0,0,0],[-2,-2,1,0,1,-1,0,-1,0,1,0,0,0,0,0],[-1,-1,0,
0,1,0,0,-1,1,0,0,0,0,0,0],[1,2,-1,0,-2,1,0,1,-1,-1,0,1,0,0,0],[2,2,-1,0,-1,1,0
,1,-1,-1,1,0,0,0,0],[-2,-2,2,0,2,-2,0,-1,1,1,-1,-1,1,0,0],[0,1,-3,-1,-1,1,0,1,
0,-1,0,0,-1,1,0],[-2,-2,0,0,0,-1,0,0,0,1,0,0,0,-1,1]],[[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,0,0,0],[0,-1,1,0,0,0,0,0,0,0,0,0,0,0],[-1,0,-1,
0,1,0,0,0,0,0,0,0,0,0],[-2,0,-1,0,-1,0,0,1,0,0,0,0,0,0],[-1,0,-1,0,0,0,0,0,0,0
,0,0,0,1],[0,1,0,1,0,0,0,0,0,0,0,0,0,-1],[0,0,0,0,0,1,0,0,0,0,0,0,0,0],[1,-1,0
,-1,1,-1,0,-1,1,0,0,0,0,0],[1,0,0,0,0,0,-1,0,0,0,1,-1,-1,0],[1,0,1,-1,0,0,1,0,
-1,1,-1,1,1,0],[1,0,1,-1,-1,0,1,0,0,0,0,0,0,0],[-1,-1,0,1,0,1,-1,0,0,-1,1,-1,0
,0],[-1,-1,0,0,0,0,0,0,0,0,0,1,0,0]]],
0,
[(24,25),(18,19)(27,28),(30,31)],
0,
rec(CharacterParameters:=[[1,[[15],'0']],[1,[[14,1],'0']],[1,[[13,2],'0']],[1,
[[12,3],'0']],[1,[[12,2,1],'0']],[1,[[11,4],'0']],[1,[[11,3,1],'0']],[1,[[10,5
],'0']],[1,[[10,4,1],'0']],[1,[[10,3,2],'0']],[1,[[9,6],'0']],[1,[[9,5..1],'0'
]],[1,[[9,4,2],'0']],[1,[[9,3,2,1],'0']],[1,[[8,7],'+']],[1,[[8,7],'-']],[1,[[
8,6,1],'0']],[1,[[8,5..2],'0']],[1,[[8,4,3],'0']],[1,[[8,4,2,1],'0']],[1,[[7,6
,2],'0']],[1,[[7,5..3],'0']],[1,[[7,5,2,1],'+']],[1,[[7,5,2,1],'-']],[1,[[7,4,
3,1],'0']],[1,[[6,5..4],'0']],[1,[[6,5,3,1],'+']],[1,[[6,5,3,1],'-']],[1,[[6,4
,3,2],'0']],[1,[[5,4..1],'+']],[1,[[5,4..1],'-']]]));

MBT("Alt(15)",3,
"(no info text)",
[1,1,2,1,1,1,1,3,1,2,2,1,1,2,2,1,1,4,1,1,1,3,3,1,2,1,2,3,1,2,2,1,3,2,4],
[6,4,2,1],
[[1,2,4,5,7,9,10,12,13,16,17,19,21,31,35,36,46,49],[3,6,23,29,30,32,34,37,39,
48],[11,14,45,51,64]],
[,,,[[1,2],[2,3]]],
[[[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,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,0,0,0,0]
,[-2,1,-1,0,0,-1,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,0,0,0,0,
0],[2,-2,1,-1,0,1,-1,0,0,1,0,0,0,0,0,0,0,0],[0,0,1,-1,0,0,-1,1,0,0,0,0,0,0,0,0
,0,0],[-2,2,-1,1,0,-2,1,-1,0,-1,1,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],[-2,1,-1,1,-1,-1,1,-1,1,0,0,0,0,0,0,0,0,0],[1,-1,1,0,1,1,-1,0,-1,0,
0,0,0,1,0,0,0,0],[3,-2,2,-1,1,2,-2,1,-1,1,-1,0,1,0,0,0,0,0],[-3,2,-2,1,-2,-1,1
,0,1,-1,0,0,-1,-1,1,0,0,0],[1,-2,1,-1,0,2,-1,1,-1,1,-1,1,0,0,0,0,0,0],[-4,3,-2
,0,0,-3,3,-1,1,-2,2,-1,-1,0,-1,1,0,0],[-3,2,-2,1,0,-3,3,-1,1,-2,2,0,-1,0,-1,0,
-1,1],[1,-2,1,0,0,1,-1,0,0,1,-1,0,0,1,0,-1,1,0]],[[1,0,0,0,0,0,0,0,0,0],[0,0,0
,1,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0],[0,0,0,-1,1,0,0,0,0,0],[-1,-1,0,0,0,0,1
,0,0,0],[0,0,0,1,-1,1,0,0,0,0],[0,0,0,-1,0,-1,0,0,1,0],[1,-1,1,0,0,0,0,0,0,0],
[0,-1,-1,0,0,0,0,1,0,0],[-1,0,0,0,0,0,0,0,-1,1]],[[1,0,0,0,0],[1,0,-1,1,0],[0,
1,0,0,0],[-1,-1,1,0,0],[-1,0,1,-1,1]]],
0,
0,
0,
rec(CharacterParameters:=[[1,[[15],'0']],[1,[[14,1],'0']],[1,[[13,2],'0']],[1,
[[13,1,1],'0']],[1,[[12,3],'0']],[1,[[12,2,1],'0']],[1,[[11,4],'0']],[1,[[11,3
,1],'0']],[1,[[11,2,2],'0']],[1,[[11,2,1,1],'0']],[1,[[10,5],'0']],[1,[[10,4,1
],'0']],[1,[[10,3,2],'0']],[1,[[10,3,1,1],'0']],[1,[[10,2,2,1],'0']],[1,[[9,6]
,'0']],[1,[[9,5..1],'0']],[1,[[9,4,2],'0']],[1,[[9,4,1,1],'0']],[1,[[9,3,3],
'0']],[1,[[9,3,2,1],'0']],[1,[[9,2,2,1,1],'0']],[1,[[8,6,1],'0']],[1,[[8,5..2]
,'0']],[1,[[8,5,1,1],'0']],[1,[[8,4,2,1],'0']],[1,[[8,3,3,1],'0']],[1,[[8,3,2,
2],'0']],[1,[[8,3,2,1,1],'0']],[1,[[7,5..3],'0']],[1,[[7,5,2,1],'0']],[1,[[7,4
,2,2],'0']],[1,[[7,4,2,1,1],'0']],[1,[[7,3,3,2],'0']],[1,[[6,4,2,2,1],'0']]])
);

MBT("Alt(15)",5,
"(no info text)",
[1,1,2,1,3,2,1,2,2,5,7,1,1,1,6,1,9,1,1,4,1,8,2,1,9,8,1,7,2,1,1,8,2,10,11,2,1,6
,5,2,2,6,1,2,1,9,3,2,1,6,5,2,3,12,3,5,9,7,8,1,7,2,15,14,13],
[3,2,1,0,1,1,1,1,1,0,0,0,0,0,0],
[[1,2,6,7,9,12,14,18,19,28,30,33,35,37,45,46,56,57,62,65],[3,5,8,10,11,15,21,
22,23,39,40,48,67,84]],
[,,[[1,2],[2,3],[3,4],[4,5]],,[[1,2],[4,5],[3,5],[2,3]],[[1,2],[3,4],[2,5],[4,
5]],[[1,2],[4,5],[2,3],[3,5]],6,5],
[[[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],[1,-1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,0,0,-1,0,0,0,0,1,0,0
,0,0,0,0,0,0,0,0],[1,-1,0,0,1,0,0,0,0,-1,0,0,0,0,0,0,1,0,0,0],[1,-1,1,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0,0,0],[-2,1,-1,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[2,-1,
1,0,1,-1,0,0,0,-1,1,0,0,0,0,0,0,0,0,0],[-2,1,-1,0,-1,1,0,0,0,1,-1,0,0,0,0,0,-1
,1,0,0],[-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[2,-2,1,-1,1,-1,0,1,0,0,0,
0,0,0,0,0,0,0,0,0],[-2,2,-1,1,-1,1,0,-1,0,1,-1,0,1,0,0,0,0,0,0,0],[2,-2,1,-1,1
,-1,0,1,0,-1,1,0,-1,0,0,0,1,-1,1,0],[2,-1,1,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,
0],[-2,2,-1,1,-2,1,-1,-1,1,0,0,0,0,0,0,0,0,0,0,0],[2,-2,1,-1,2,-1,1,1,-1,-1,1,
0,-1,0,1,0,0,0,0,0],[-3,1,-1,1,-1,1,-1,0,0,1,-1,1,0,0,0,0,0,0,0,0],[4,-4,2,-2,
2,-1,1,1,-1,-2,1,-1,-1,1,0,0,0,0,0,0],[-2,2,-1,1,-2,1,-1,-1,1,2,-1,1,1,-1,-1,1
,0,0,0,0],[1,1,0,0,1,-1,1,0,0,-1,1,-1,0,0,1,-1,-1,0,-1,1]],[[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,0,1],[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],
[0,0,-1,-1,1,-1,0,1,0,0,-1,0,1,0]]],
0,
0,
0,
rec(CharacterParameters:=[[1,[[15],'0']],[1,[[14,1],'0']],[1,[[13,2],'0']],[1,
[[13,1,1],'0']],[1,[[12,3],'0']],[1,[[12,2,1],'0']],[1,[[12,1,1,1],'0']],[1,[[
11,4],'0']],[1,[[11,3,1],'0']],[1,[[11,2,2],'0']],[1,[[11,2,1,1],'0']],[1,[[11
,1,1,1,1],'0']],[1,[[10,5],'0']],[1,[[10,4,1],'0']],[1,[[10,3,2],'0']],[1,[[10
,3,1,1],'0']],[1,[[10,2,2,1],'0']],[1,[[10,2,1,1,1],'0']],[1,[[9,6],'0']],[1,[
[9,5..1],'0']],[1,[[9,4,2],'0']],[1,[[9,4,1,1],'0']],[1,[[9,3,3],'0']],[1,[[9,
3,2,1],'0']],[1,[[9,3,1,1,1],'0']],[1,[[9,2,2,2],'0']],[1,[[9,2,2,1,1],'0']],[
1,[[9,2,1,1,1,1],'0']],[1,[[8,7],'0']],[1,[[8,6,1],'0']],[1,[[8,5..2],'0']],[1
,[[8,5,1,1],'0']],[1,[[8,4,3],'0']],[1,[[8,4,2,1],'0']],[1,[[8,4,1,1,1],'0']],
[1,[[8,3,3,1],'0']],[1,[[8,3,2,2],'0']],[1,[[8,3,2,1,1],'0']],[1,[[8,3,1,1,1,1
],'0']],[1,[[8,2,2,1,1,1],'0']],[1,[[7,7,1],'0']],[1,[[7,6,2],'0']],[1,[[7,6,1
,1],'0']],[1,[[7,5..3],'0']],[1,[[7,5,2,1],'0']],[1,[[7,5,1,1,1],'0']],[1,[[7,
4,4],'0']],[1,[[7,4,3,1],'0']],[1,[[7,4,2,2],'0']],[1,[[7,4,2,1,1],'0']],[1,[[
7,4,1,1,1,1],'0']],[1,[[7,3,3,2],'0']],[1,[[7,3,3,1,1],'0']],[1,[[7,3,2,2,1],
'0']],[1,[[7,3,2,1,1,1],'0']],[1,[[6,6,3],'0']],[1,[[6,6,2,1],'0']],[1,[[6,5,3
,1],'0']],[1,[[6,5,2,2],'0']],[1,[[6,5,2,1,1],'0']],[1,[[6,5,1,1,1,1],'0']],[1
,[[6,4,3,1,1],'0']],[1,[[6,3,3,1,1,1],'+']],[1,[[6,3,3,1,1,1],'-']],[1,[[5,5,2
,2,1],'0']]]));

MBT("Alt(15)",7,
"(no info text)",
[1,2,1,5,3,1,12,4,6,8,1,12,4,7,9,8,6,1,5,3,6,9,8,10,13,17,4,3,1,2,1,1,8,1,11,6
,1,14,4,3,1,1,20,26,1,1,5,2,12,8,2,12,9,6,15,2,5,4,3,21,2,23,27,1,12,18,6,1,5,
12,25,8,16,1,1,5,4,22,24,3,19],
[2,1,1,1,1,1,0,1,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[[1,3,8,10,14,24,29,32,41,57,59,67,75,80,81,87,91,93]],
[,[[1,2],[6,7],[2,3],[3,4],[4,5],[5,7]],[[1,2],[2,3],[4,5],[5,6],[6,7],[3,7]],
3,[[1,2],[5,6],[2,3],[6,7],[3,4],[4,7]],[[1,2],[4,5],[2,3],[5,6],[6,7],[3,7]],
,[[1,2],[4,5],[5,6],[2,3],[3,7],[6,7]],[[1,2],[2,3],[3..5]],,,[[1,2],[4,5],[2,
3],[5,6],[3,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,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],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],[-1,0,-1,0,1,0,0,-1,
0,0,1,0,0,0,-1,0,1,-1],[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,[[15],'0']],[1,[[14,1],'0']],[1,[[13,2],'0']],[1,
[[13,1,1],'0']],[1,[[12,3],'0']],[1,[[12,2,1],'0']],[1,[[12,1,1,1],'0']],[1,[[
11,4],'0']],[1,[[11,3,1],'0']],[1,[[11,2,2],'0']],[1,[[11,2,1,1],'0']],[1,[[11
,1,1,1,1],'0']],[1,[[10,5],'0']],[1,[[10,4,1],'0']],[1,[[10,3,2],'0']],[1,[[10
,3,1,1],'0']],[1,[[10,2,2,1],'0']],[1,[[10,2,1,1,1],'0']],[1,[[10,1,1,1,1,1],
'0']],[1,[[9,6],'0']],[1,[[9,5..1],'0']],[1,[[9,4,2],'0']],[1,[[9,4,1,1],'0']]
,[1,[[9,3,3],'0']],[1,[[9,3,2,1],'0']],[1,[[9,3,1,1,1],'0']],[1,[[9,2,2,2],'0'
]],[1,[[9,2,2,1,1],'0']],[1,[[9,2,1,1,1,1],'0']],[1,[[9,1,1,1,1,1,1],'0']],[1,
[[8,7],'0']],[1,[[8,6,1],'0']],[1,[[8,5..2],'0']],[1,[[8,5,1,1],'0']],[1,[[8,4
,3],'0']],[1,[[8,4,2,1],'0']],[1,[[8,4,1,1,1],'0']],[1,[[8,3,3,1],'0']],[1,[[8
,3,2,2],'0']],[1,[[8,3,2,1,1],'0']],[1,[[8,3,1,1,1,1],'+']],[1,[[8,3,1,1,1,1],
'-']],[1,[[8,2,2,2,1],'0']],[1,[[8,2,2,1,1,1],'0']],[1,[[8,2,1,1,1,1,1],'+']],
[1,[[8,2,1,1,1,1,1],'-']],[1,[[7,7,1],'0']],[1,[[7,6,2],'0']],[1,[[7,6,1,1],
'0']],[1,[[7,5..3],'0']],[1,[[7,5,2,1],'0']],[1,[[7,5,1,1,1],'0']],[1,[[7,4,4]
,'0']],[1,[[7,4,3,1],'0']],[1,[[7,4,2,2],'0']],[1,[[7,4,2,1,1],'0']],[1,[[7,4,
1,1,1,1],'0']],[1,[[7,3,3,2],'0']],[1,[[7,3,3,1,1],'0']],[1,[[7,3,2,2,1],'0']]
,[1,[[7,3,2,1,1,1],'0']],[1,[[7,2,2,2,2],'0']],[1,[[7,2,2,2,1,1],'0']],[1,[[6,
6,3],'0']],[1,[[6,6,2,1],'0']],[1,[[6,6,1,1,1],'0']],[1,[[6,5..4],'0']],[1,[[6
,5,3,1],'0']],[1,[[6,5,2,2],'0']],[1,[[6,5,2,1,1],'0']],[1,[[6,5,1,1,1,1],'0']
],[1,[[6,4,4,1],'0']],[1,[[6,4,3,2],'0']],[1,[[6,4,3,1,1],'+']],[1,[[6,4,3,1,1
],'-']],[1,[[6,4,2,2,1],'0']],[1,[[6,3,3,3],'0']],[1,[[6,3,3,2,1],'0']],[1,[[6
,3,2,2,2],'0']],[1,[[5,5,4,1],'0']],[1,[[5,5,3,1,1],'0']]]));


[ Dauer der Verarbeitung: 0.2 Sekunden  (vorverarbeitet)  ]