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

Quelle  ctba12.tbl   Sprache: unbekannt

 
MBT("Alt(12)",2,
"(no info text)",
[1,1,1,1,2,1,1,1,1,2,1,1,1,1,3,2,1,1],
[9,3,0],
[[1,2,3,4,5,6,10,12,14,15,27,32,39,42],[9,11,18]],
[],
[[[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],[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,-1,1,-1,1,0,0,0,0,0,0,0,0,0]
,[-3,1,-1,0,-1,0,1,0,0,0,0,0,0,0],[-1,1,0,0,-1,1,1,0,0,1,0,1,-1,-1],[0,0,0,0,0
,0,-1,0,0,-1,0,-1,1,1],[2,-2,1,0,1,-1,-1,0,1,0,0,0,0,0],[1,0,0,0,0,0,0,0,0,1,0
,1,-1,0],[2,-1,1,0,1,-1,-1,1,0,-1,0,-1,1,0],[-4,2,-2,0,-1,1,1,-1,-1,1,0,0,0,0]
,[3,-3,1,-1,1,-1,-1,0,0,-1,0,0,1,1],[3,-3,2,-1,1,-1,0,1,1,-1,1,0,-1,-1]],[[1,0
,0],[0,1,0],[-1..1]]],
0,
0,
0,
rec(CharacterParameters:=[[1,[[12],'0']],[1,[[11,1],'0']],[1,[[10,2],'0']],[1,
[[9,3],'0']],[1,[[9,2,1],'0']],[1,[[8,4],'0']],[1,[[8,3,1],'0']],[1,[[7,5],'+'
]],[1,[[7,5],'-']],[1,[[7,4..1],'0']],[1,[[7,3,2],'0']],[1,[[6,5,1],'+']],[1,[
[6,5,1],'-']],[1,[[6,4..2],'0']],[1,[[6,3,2,1],'0']],[1,[[5,4..3],'0']],[1,[[5
,4,2,1],'+']],[1,[[5,4,2,1],'-']]]));

MBT("Alt(12)",3,
"(no info text)",
[1,1,2,1,1,1,1,3,1,2,2,1,1,1,2,2,4,1,1,1,3],
[5,2,1,0],
[[1,2,4,5,8,9,11,13,14,23,26,32,42],[3,6,21,22,25]],
[,,[[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],[1,-1,0,0,1,0,0,0,0
,0,0,0,0],[0,-1,1,0,0,0,0,0,0,0,0,0,0],[-2,1,-1,0,-1,1,0,0,0,0,0,0,0],[-1,1,-1
,1,0,0,0,0,0,0,0,0,0],[2,-2,1,-1,1,-1,0,1,0,0,0,0,0],[2,-1,1,-1,1,-1,1,0,0,0,0
,0,0],[-1,1,0,0,-1,0,-1,-1,1,0,0,1,-1],[-1,1,-1,1,-1,1,0,0,0,0,0,-1,1],[0,-1,0
,1,0,0,-1,0,0,1,0,0,0],[-1,1,0,0,0,0,0,-1,0,0,0,1,0],[-1,0,0,0,0,0,1,0,-1,-1,1
,-1,0]],[[1,0,0,0,0],[0,0,1,0,0],[0,1,0,0,0],[0,0,-1,1,0],[-1,-1,0,0,1]]],
0,
0,
0,
rec(CharacterParameters:=[[1,[[12],'0']],[1,[[11,1],'0']],[1,[[10,2],'0']],[1,
[[10,1,1],'0']],[1,[[9,3],'0']],[1,[[9,2,1],'0']],[1,[[8,4],'0']],[1,[[8,3,1],
'0']],[1,[[8,2,2],'0']],[1,[[8,2,1,1],'0']],[1,[[7,5],'0']],[1,[[7,4..1],'0']]
,[1,[[7,3,2],'+']],[1,[[7,3,2],'-']],[1,[[7,3,1,1],'0']],[1,[[7,2,2,1],'0']],[
1,[[6,4..2],'0']],[1,[[6,4,1,1],'0']],[1,[[6,3,2,1],'+']],[1,[[6,3,2,1],'-']],
[1,[[6,2,2,1,1],'0']]]));

MBT("Alt(12)",5,
"(no info text)",
[1,1,1,3,1,4,7,2,1,1,4,3,1,1,5,1,1,1,1,4,1,4,6,1,9,12,13,3,7,8,3,10,11],
[2,0,1,1,0,0,1,0,0,0,0,0,0],
[[1,2,3,4,6,7,10,11,13,15,22,25,26,35]],
[,,[[1,2],[4,5],[2,3],[3,5]],[[1,2],[3,4],[2,5],[4,5]],,,[[1,2],[2..4]]],
[[[1,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,0,0],[-1,0,0,1,0,0,0,0,0,0,0,0,0,0],[1,0,0,-1,0,0,1,0,0,0,0,0,0,0],[
0,1,-1,0,0,0,0,0,1,0,0,0,0,0],[1,0,0,-1,1,0,0,0,0,0,0,0,0,0],[-2,0,0,1,-1,0,-1
,1,0,0,0,0,0,0],[1,0,0,0,1,0,0,-1,0,0,1,0,0,0],[0,-1,1,0,0,0,0,0,-1,0,0,1,0,0]
,[-1,0,0,0,-1,0,0,1,0,0,-1,0,0,1],[0,1,-1,0,0,1,0,0,0,0,0,0,0,0],[0,-2,1,0,0,
-1,0,0,-1,1,0,0,0,0],[0,2,-1,0,0,1,0,0,1,-1,0,-1,1,0]]],
0,
0,
0,
rec(CharacterParameters:=[[1,[[12],'0']],[1,[[11,1],'0']],[1,[[10,2],'0']],[1,
[[10,1,1],'0']],[1,[[9,3],'0']],[1,[[9,2,1],'0']],[1,[[9,1,1,1],'0']],[1,[[8,4
],'0']],[1,[[8,3,1],'0']],[1,[[8,2,2],'0']],[1,[[8,2,1,1],'0']],[1,[[8,1,1,1,1
],'0']],[1,[[7,5],'0']],[1,[[7,4..1],'0']],[1,[[7,3,2],'0']],[1,[[7,3,1,1],'0'
]],[1,[[7,2,2,1],'0']],[1,[[7,2,1,1,1],'0']],[1,[[6,6],'0']],[1,[[6,5,1],'0']]
,[1,[[6,4..2],'0']],[1,[[6,4,1,1],'0']],[1,[[6,3,3],'0']],[1,[[6,3,2,1],'0']],
[1,[[6,2,2,2],'0']],[1,[[6,2,1,1,1,1],'+']],[1,[[6,2,1,1,1,1],'-']],[1,[[5,5,2
],'0']],[1,[[5,5,1,1],'0']],[1,[[5,4,2,1],'0']],[1,[[5,4,1,1,1],'0']],[1,[[5,3
,2,1,1],'+']],[1,[[5,3,2,1,1],'-']]]));

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


[ Dauer der Verarbeitung: 0.19 Sekunden  (vorverarbeitet)  ]