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

Quelle  ctba13.tbl   Sprache: unbekannt

 
MBT("Alt(13)",2,
"(no info text)",
[1,2,1,2,1,1,1,2,1,2,1,1,1,1,1,2,2,1,2,1,1],
[9,7],
[[1,3,5,7,9,10,11,12,16,19,32,38,48,54],[2,4,6,15,17,28,29]],
[],
[[[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,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],[-2,1,-1,0,-1,1,0,0,0,0,0,0,0,0
],[-1,-1,0,0,1,-1,1,0,0,0,0,0,0,0],[0,1,0,1,0,0,0,0,0,0,0,0,0,-1],[-1,0,-1,0,0
,0,0,0,0,0,0,0,0,1],[1,0,1,0,0,0,-1,0,1,0,0,1,-1,0],[1,0,0,-1,0,0,0,1,-1,0,0,
-1,1,0],[1,-2,1,0,1,-1,0,-1,1,0,0,0,0,0],[-2,1,-1,0,-1,0,1,0,-1,1,0,0,0,0],[-1
,-1,0,0,0,0,0,0,0,0,0,1,0,0],[-1,-1,0,0,0,0,0,0,0,-1,1,-1,0,0]],[[1,0,0,0,0,0,
0],[0,1,0,0,0,0,0],[-1,0,1,0,0,0,0],[-1,0,-1,1,0,0,0],[0,0,-1,-1,0,1,0],[1,0,0
,-1,1,0,0],[-2,-1,0,1,-1,-1,1]]],
0,
0,
0,
rec(CharacterParameters:=[[1,[[13],'0']],[1,[[12,1],'0']],[1,[[11,2],'0']],[1,
[[10,3],'0']],[1,[[10,2,1],'0']],[1,[[9,4],'0']],[1,[[9,3,1],'0']],[1,[[8,5],
'0']],[1,[[8,4,1],'0']],[1,[[8,3,2],'0']],[1,[[7,6],'+']],[1,[[7,6],'-']],[1,[
[7,5,1],'+']],[1,[[7,5,1],'-']],[1,[[7,4,2],'0']],[1,[[7,3,2,1],'0']],[1,[[6,5
,2],'0']],[1,[[6,4,3],'0']],[1,[[6,4,2,1],'0']],[1,[[5,4,3,1],'+']],[1,[[5,4,3
,1],'-']]]));

MBT("Alt(13)",3,
"(no info text)",
[1,2,1,2,1,1,2,2,2,1,1,2,2,3,1,1,2,1,1,1,1,1,3,2,2],
[5,4,1],
[[1,3,4,6,9,12,18,23,25,27,28,38,54],[2,5,8,10,11,14,15,16,29,35]],
[,,[[1,2],[2,3]]],
[[[1,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,0,0,0,0,0
,0,0,0,0],[-1,0,-1,0,1,0,0,0,0,0,0,0,0],[-1,1,0,0,-1,0,0,1,0,0,0,0,0],[-1,1,-1
,1,0,0,0,0,0,0,0,0,0],[1,-2,0,-1,1,0,0,-1,0,1,0,0,0],[-1,0,0,-1,0,1,0,0,0,0,0,
0,0],[0,0,-1,1,1,-1,0,-1,1,0,0,0,0],[1,1,0,1,-1,-1,1,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,-1,0,1,0],[-1,-1,1,-1,-1,1,-1,1,-1,0,1,-1
,0]],[[1,0,0,0,0,0,0,0,0,0],[0,0,1,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0],[0,0,
-1,1,0,0,0,0,0,0],[-1,-1,0,0,0,1,0,0,0,0],[0,0,1,-1,1,0,0,0,0,0],[0,0,-1,0,-1,
0,1,0,0,0],[1,0,0,0,0,-1,0,1,0,0],[0,0,0,0,1,0,-1,-1,1,0],[-1,0,0,0,0,0,-1,0,0
,1]]],
0,
0,
0,
rec(CharacterParameters:=[[1,[[13],'0']],[1,[[12,1],'0']],[1,[[11,2],'0']],[1,
[[11,1,1],'0']],[1,[[10,3],'0']],[1,[[10,2,1],'0']],[1,[[9,4],'0']],[1,[[9,3,1
],'0']],[1,[[9,2,2],'0']],[1,[[9,2,1,1],'0']],[1,[[8,5],'0']],[1,[[8,4,1],'0']
],[1,[[8,3,2],'0']],[1,[[8,3,1,1],'0']],[1,[[8,2,2,1],'0']],[1,[[7,5,1],'0']],
[1,[[7,4,2],'0']],[1,[[7,4,1,1],'0']],[1,[[7,3,3],'+']],[1,[[7,3,3],'-']],[1,[
[7,3,2,1],'+']],[1,[[7,3,2,1],'-']],[1,[[7,2,2,1,1],'0']],[1,[[6,4,2,1],'0']],
[1,[[6,3,2,2],'0']]]));

MBT("Alt(13)",5,
"(no info text)",
[1,2,3,1,2,1,6,1,4,1,7,6,1,1,2,1,4,1,2,4,2,1,5,2,8,1,2,2,3,1,1,7,3,4,1,3,2,2,6
,6,9],
[2,2,1,1,0,1,1,0,0],
[[1,5,6,8,9,11,13,14,17,24,25,34,35,41],[2,4,7,15,16,28,45,46,48,54]],
[,,[[1,2],[4,5],[2,3],[3,5]],[[1,2],[3,4],[2,5],[4,5]],,3,[[1,2],[2..4]]],
[[[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],[0,0,0,-1,1,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,1,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,1,0,0,0,0,0,0,0,0],[1,0,1,0,0,-1,0,
0,0,1,0,0,0,0],[-1,0,-1,0,0,1,0,0,0,-1,0,0,0,1],[-2,1,-1,0,0,0,0,0,0,-1,1,0,0,
0],[0,0,0,-1,1,0,0,-1,0,0,0,1,0,0],[0,0,0,1,-1,0,1,0,0,0,0,0,0,0],[0,0,0,-2,1,
0,-1,-1,1,0,0,0,0,0],[0,0,0,2,-1,0,1,1,-1,0,0,-1,1,0]],[[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,1,0,0,-1],[0,0,0,0,0,0,
0,0,0,1],[1,0,0,1,-1,0,0,0,1,0],[1,-1,1,0,0,0,-1,1,-1,0]]],
0,
0,
0,
rec(CharacterParameters:=[[1,[[13],'0']],[1,[[12,1],'0']],[1,[[11,2],'0']],[1,
[[11,1,1],'0']],[1,[[10,3],'0']],[1,[[10,2,1],'0']],[1,[[10,1,1,1],'0']],[1,[[
9,4],'0']],[1,[[9,3,1],'0']],[1,[[9,2,2],'0']],[1,[[9,2,1,1],'0']],[1,[[9,1,1,
1,1],'0']],[1,[[8,5],'0']],[1,[[8,4,1],'0']],[1,[[8,3,2],'0']],[1,[[8,3,1,1],
'0']],[1,[[8,2,2,1],'0']],[1,[[8,2,1,1,1],'0']],[1,[[7,6],'0']],[1,[[7,5,1],
'0']],[1,[[7,4,2],'0']],[1,[[7,4,1,1],'0']],[1,[[7,3,3],'0']],[1,[[7,3,2,1],
'0']],[1,[[7,3,1,1,1],'0']],[1,[[7,2,2,2],'0']],[1,[[7,2,2,1,1],'+']],[1,[[7,2
,2,1,1],'-']],[1,[[7,2,1,1,1,1],'0']],[1,[[6,6,1],'0']],[1,[[6,5,2],'0']],[1,[
[6,5,1,1],'0']],[1,[[6,4,3],'0']],[1,[[6,4,2,1],'0']],[1,[[6,4,1,1,1],'0']],[1
,[[6,3,3,1],'0']],[1,[[6,3,2,1,1],'+']],[1,[[6,3,2,1,1],'-']],[1,[[5,5,2,1],
'0']],[1,[[5,5,1,1,1],'0']],[1,[[5,4,2,1,1],'0']]]));

MBT("Alt(13)",7,
"(no info text)",
[1,2,3,5,4,6,5,4,7,4,3,2,3,6,4,3,9,14,1,2,5,8,5,4,10,2,12,16,1,21,20,1,5,1,6,5
,1,3,13,2,19,3,2,15,4,11,17,18],
[1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,2],[5,6],[6,7],[2,3],[3,4],[4,7]],[[1,2],[4,5],[2,3],[5,6],[6,7],[3,7]],2
,[[1,2],[2,6],[3,4],[4,5],[5,7],[6,7]],[[1,2],[4,5],[2,3],[5,6],[3,7],[6,7]],[
[1,2],[2,3],[3..5]]],
[],
0,
0,
0,
rec(CharacterParameters:=[[1,[[13],'0']],[1,[[12,1],'0']],[1,[[11,2],'0']],[1,
[[11,1,1],'0']],[1,[[10,3],'0']],[1,[[10,2,1],'0']],[1,[[10,1,1,1],'0']],[1,[[
9,4],'0']],[1,[[9,3,1],'0']],[1,[[9,2,2],'0']],[1,[[9,2,1,1],'0']],[1,[[9,1,1,
1,1],'0']],[1,[[8,5],'0']],[1,[[8,4,1],'0']],[1,[[8,3,2],'0']],[1,[[8,3,1,1],
'0']],[1,[[8,2,2,1],'0']],[1,[[8,2,1,1,1],'0']],[1,[[8,1,1,1,1,1],'0']],[1,[[7
,6],'0']],[1,[[7,5,1],'0']],[1,[[7,4,2],'0']],[1,[[7,4,1,1],'0']],[1,[[7,3,3],
'0']],[1,[[7,3,2,1],'0']],[1,[[7,3,1,1,1],'0']],[1,[[7,2,2,2],'0']],[1,[[7,2,2
,1,1],'0']],[1,[[7,2,1,1,1,1],'0']],[1,[[7,1,1,1,1,1,1],'+']],[1,[[7,1,1,1,1,1
,1],'-']],[1,[[6,6,1],'0']],[1,[[6,5,2],'0']],[1,[[6,5,1,1],'0']],[1,[[6,4,3],
'0']],[1,[[6,4,2,1],'0']],[1,[[6,4,1,1,1],'0']],[1,[[6,3,3,1],'0']],[1,[[6,3,2
,2],'0']],[1,[[6,3,2,1,1],'0']],[1,[[6,2,2,2,1],'0']],[1,[[5,5,3],'0']],[1,[[5
,5,2,1],'0']],[1,[[5,5,1,1,1],'0']],[1,[[5,4,4],'0']],[1,[[5,4,3,1],'0']],[1,[
[5,3,3,1,1],'+']],[1,[[5,3,3,1,1],'-']]]));


[ Dauer der Verarbeitung: 0.19 Sekunden  (vorverarbeitet)  ]