| 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 6 kB |
|
Quelle ctb2a16.tbl Sprache: unbekannt |
|
|
MBT("2.Alt(16)",3,
"(no info text)", [8,8,7,7,7,8,8,7,7,8,8,7,7], [6,4], [[127,129,131,133,134,143,149],[125,139,140,142,159,167]], [], [[[1,0,0,0,-1,2,-2],[1,4,-3,2,1,0,0],[0,-2,2,-1,-2,1,0],[1,1,-1,0,1,0,0],[1,0, 0,1,-2,1,-2],[-1,-2,2,-1,-1,0,0],[0,2,-2,1,2,-1,1]],[[1,-1,0,1,0,0],[1,0,-1,1, 0,0],[1,0,0,0,-1,-1],[2,-1,-1,1,1,1],[-2,1,1,-1,0,-1],[0,0,0,0,0,1]]], [["Alt(16)",0]], 0, 0, rec(CharacterParameters:=[[1,[16]],[1,[15,1]],[1,[14,2]],[1,[14,1,1]],[1,[13,3 ]],[1,[13,2,1]],[1,[12,4]],[1,[12,3,1]],[1,[12,2,2]],[1,[12,2,1,1]],[1,[11,5]] ,[1,[11,4,1]],[1,[11,3,2]],[1,[11,3,1,1]],[1,[11,2,2,1]],[1,[10,6]],[1,[10,5,1 ]],[1,[10,4,2]],[1,[10,4,1,1]],[1,[10,3,3]],[1,[10,3,2,1]],[1,[10,2,2,1,1]],[1 ,[9,7]],[1,[9,6,1]],[1,[9,5,2]],[1,[9,5,1,1]],[1,[9,4,3]],[1,[9,4,2,1]],[1,[9, 3,3,1]],[1,[9,3,2,2]],[1,[9,3,2,1,1]],[1,[8,6,2]],[1,[8,6,1,1]],[1,[8,5,3]],[1 ,[8,5,2,1]],[1,[8,4,2,2]],[1,[8,4,2,1,1]],[1,[8,3,3,2]],[1,[8,3,3,1,1]],[1,[8, 3,2,2,1]],[1,[7,5..1]],[1,[7,5,2,2]],[1,[7,5,2,1,1]],[1,[7,4,2,2,1]],[1,[[6,4, 2,2,1,1],'+']],[1,[[6,4,2,2,1,1],'-']],[2,[[8,5,2,1],'+']],[2,[[8,5,2,1],'-']] ,[2,[[7,5..1],'0']],[2,[[7,4,3,2],'0']],[2,[[6,5,4,1],'0']],[2,[[6,5,3,2],'+'] ],[2,[[6,5,3,2],'-']],[2,[[6,4,3,2,1],'0']],[2,[[5,4,3,3,1],'0']],[2,[[5,3,3,3 ,2],'+']],[2,[[5,3,3,3,2],'-']],[2,[[4,3,3,3,2,1],'0']],[2,[[3,3,3,3,3,1],'0'] ]])); MBT("2.Alt(16)",5, "(no info text)", [19,20,20,24,20,20,19,23,23,19,23,23,19,22,21,20,20,19,20,20,19,19,19,19,20,20 ,19], [3,2,0,0,1,0], [[124,125,127,131,136,139,142,143,148,155],[129,130,133,144,145,147,149,150, 162,167]], [,,,,[[3,5],[3,4],[2,3],[1,3]]], [[[1,-1,2,-1,0,1,0,1,-1,2],[0,0,0,-1,1,1,-1,2,0,0],[1,-1,0,1,-2,-1,2,-2,0,0],[ -1,2,-1,-1,1,0,0,0,0,0],[3,-4,3,1,-2,0,2,0,-2,2],[1,-2,1,1,-1,-1,1,-1,0,0],[0, 0,0,1,-1,-1,1,-1,0,0],[-1,2,0,-2,2,2,-2,2,0,0],[-2,2,-2,0,1,0,-1,0,1,-1],[1,-1 ,0,1,-1,-1,1,-1,0,0]],[[-1,-1,1,1,1,-1,2,2,-1,1],[0,0,0,0,0,0,0,0,1,-1],[1,0, -1,-1,0,1,-1,-1,0,0],[0,1,-1,0,-1,1,-1,-1,0,0],[0,0,0,-1,-1,1,-1,-1,0,-1],[0,0 ,0,0,0,0,0,0,0,1],[0,-1,1,1,1,-1,1,1,0,0],[-1,0,1,1,1,-1,1,1,0,0],[1,1,-1,-1, -1,1,-2,-1,1,-1],[0,0,0,0,0,0,1,0,-1,1]]], [["Alt(16)",0]], 0, 0, rec(CharacterParameters:=[[1,[16]],[1,[15,1]],[1,[14,2]],[1,[14,1,1]],[1,[13,3 ]],[1,[13,2,1]],[1,[13,1,1,1]],[1,[12,4]],[1,[12,3,1]],[1,[12,2,2]],[1,[12,2,1 ,1]],[1,[12,1,1,1,1]],[1,[11,5]],[1,[11,4,1]],[1,[11,3,2]],[1,[11,3,1,1]],[1,[ 11,2,2,1]],[1,[11,2,1,1,1]],[1,[10,6]],[1,[10,5,1]],[1,[10,4,2]],[1,[10,4,1,1] ],[1,[10,3,3]],[1,[10,3,2,1]],[1,[10,3,1,1,1]],[1,[10,2,2,2]],[1,[10,2,2,1,1]] ,[1,[10,2,1,1,1,1]],[1,[9,7]],[1,[9,6,1]],[1,[9,5,2]],[1,[9,5,1,1]],[1,[9,4,3] ],[1,[9,4,2,1]],[1,[9,4,1,1,1]],[1,[9,3,3,1]],[1,[9,3,2,2]],[1,[9,3,2,1,1]],[1 ,[9,3,1,1,1,1]],[1,[9,2,2,2,1]],[1,[9,2,2,1,1,1]],[1,[8,8]],[1,[8,7,1]],[1,[8, 6,2]],[1,[8,6,1,1]],[1,[8,5,3]],[1,[8,5,2,1]],[1,[8,5,1,1,1]],[1,[8,4,4]],[1,[ 8,4,3,1]],[1,[8,4,2,2]],[1,[8,4,2,1,1]],[1,[8,4,1,1,1,1]],[1,[8,3,3,2]],[1,[8, 3,3,1,1]],[1,[8,3,2,2,1]],[1,[8,3,2,1,1,1]],[1,[8,2,2,1,1,1,1]],[1,[7,7,2]],[1 ,[7,7,1,1]],[1,[7,6,3]],[1,[7,6,2,1]],[1,[7,6,1,1,1]],[1,[7,5,4]],[1,[7,5..1]] ,[1,[7,5,2,2]],[1,[7,5,2,1,1]],[1,[7,5,1,1,1,1]],[1,[7,4,4,1]],[1,[7,4,3,2]],[ 1,[7,4,3,1,1]],[1,[7,4,2,2,1]],[1,[7,4,2,1,1,1]],[1,[7,3,3,2,1]],[1,[7,3,3,1,1 ,1]],[1,[[7,3,2,1,1,1,1],'+']],[1,[[7,3,2,1,1,1,1],'-']],[1,[6,6,3,1]],[1,[6,6 ,2,2]],[1,[6,5,3,2]],[1,[6,5,3,1,1]],[1,[6,5,2,2,1]],[1,[6,4,3,1,1,1]],[1,[[5, 5,2,2,2],'+']],[1,[[5,5,2,2,2],'-']],[2,[[9,6,1],'0']],[2,[[9,5,2],'+']],[2,[[ 9,5,2],'-']],[2,[[9,4,3],'0']],[2,[[9,4,2,1],'+']],[2,[[9,4,2,1],'-']],[2,[[8, 6,2],'0']],[2,[[8,5,3],'+']],[2,[[8,5,3],'-']],[2,[[8,5,2,1],'0']],[2,[[8,4,3, 1],'+']],[2,[[8,4,3,1],'-']],[2,[[7,6,3],'0']],[2,[[7,6,2,1],'+']],[2,[[7,6,2, 1],'-']],[2,[[7,5,4],'+']],[2,[[7,5,4],'-']],[2,[[7,5..1],'0']],[2,[[7,4,3,2], '+']],[2,[[7,4,3,2],'-']],[2,[[6,5,4,1],'0']],[2,[[6,5,3,2],'0']],[2,[[6,4,3,2 ,1],'0']],[2,[[5,5,5,1],'0']],[2,[[5,5,4,2],'+']],[2,[[5,5,4,2],'-']],[2,[[5,5 ,3,2,1],'0']]])); MBT("2.Alt(16)",7, "(no info text)", [42,42,49,41,41,43,40,48,47,40,40,40,46,45,44,44,40,43,44,44,44,44,40,41,41,40 ,42,42,43,40,42,42,41,41,40], [2,1,1,1,1,0,0,0,0,0], [[124,129,134,142,146,147,148,149,153]], [,[[4,7],[5,6],[3,5],[3,4],[2,3],[1,3]],[[5,7],[4,6],[3,5],[3,4],[2,3],[1,3]], [[4,5],[3,4],[1..3]],[[5,7],[5,6],[4,5],[3,5],[2,3],[1,4]]], [[[-2,2,-2,1,-2,1,-2,2,1],[0,1,-1,0,-1,1,-1,2,0],[1,-1,2,-1,1,-1,2,-2,0],[1,-1 ,0,0,1,0,0,0,0],[-1,1,-2,1,-2,2,-2,2,0],[0,0,0,0,1,-1,1,-1,0],[0,-1,1,0,0,0,0, 0,0],[-1,1,0,0,0,0,0,0,0],[1,0,0,0,0,0,0,0,0]]], [["Alt(16)",0]], 0, 0, rec(CharacterParameters:=[[1,[16]],[1,[15,1]],[1,[14,2]],[1,[14,1,1]],[1,[13,3 ]],[1,[13,2,1]],[1,[13,1,1,1]],[1,[12,4]],[1,[12,3,1]],[1,[12,2,2]],[1,[12,2,1 ,1]],[1,[12,1,1,1,1]],[1,[11,5]],[1,[11,4,1]],[1,[11,3,2]],[1,[11,3,1,1]],[1,[ 11,2,2,1]],[1,[11,2,1,1,1]],[1,[11,1,1,1,1,1]],[1,[10,6]],[1,[10,5,1]],[1,[10, 4,2]],[1,[10,4,1,1]],[1,[10,3,3]],[1,[10,3,2,1]],[1,[10,3,1,1,1]],[1,[10,2,2,2 ]],[1,[10,2,2,1,1]],[1,[10,2,1,1,1,1]],[1,[10,1,1,1,1,1,1]],[1,[9,7]],[1,[9,6, 1]],[1,[9,5,2]],[1,[9,5,1,1]],[1,[9,4,3]],[1,[9,4,2,1]],[1,[9,4,1,1,1]],[1,[9, 3,3,1]],[1,[9,3,2,2]],[1,[9,3,2,1,1]],[1,[9,3,1,1,1,1]],[1,[9,2,2,2,1]],[1,[9, 2,2,1,1,1]],[1,[9,2,1,1,1,1,1]],[1,[8,8]],[1,[8,7,1]],[1,[8,6,2]],[1,[8,6,1,1] ],[1,[8,5,3]],[1,[8,5,2,1]],[1,[8,5,1,1,1]],[1,[8,4,4]],[1,[8,4,3,1]],[1,[8,4, 2,2]],[1,[8,4,2,1,1]],[1,[8,4,1,1,1,1]],[1,[8,3,3,2]],[1,[8,3,3,1,1]],[1,[8,3, 2,2,1]],[1,[8,3,2,1,1,1]],[1,[8,2,2,2,2]],[1,[8,2,2,2,1,1]],[1,[[8,2,1,1,1,1,1 ,1],'+']],[1,[[8,2,1,1,1,1,1,1],'-']],[1,[7,7,2]],[1,[7,7,1,1]],[1,[7,6,3]],[1 ,[7,6,2,1]],[1,[7,6,1,1,1]],[1,[7,5,4]],[1,[7,5..1]],[1,[7,5,2,2]],[1,[7,5,2,1 ,1]],[1,[7,5,1,1,1,1]],[1,[7,4,4,1]],[1,[7,4,3,2]],[1,[7,4,3,1,1]],[1,[7,4,2,2 ,1]],[1,[7,4,2,1,1,1]],[1,[7,4,1,1,1,1,1]],[1,[7,3,3,3]],[1,[7,3,3,2,1]],[1,[7 ,3,2,2,2]],[1,[[7,3,2,1,1,1,1],'+']],[1,[[7,3,2,1,1,1,1],'-']],[1,[7,2,2,2,2,1 ]],[1,[6,6,4]],[1,[6,6,3,1]],[1,[6,6,2,2]],[1,[6,6,2,1,1]],[1,[6,6,1,1,1,1]],[ 1,[6,5,5]],[1,[6,5,4,1]],[1,[6,5,3,2]],[1,[6,5,3,1,1]],[1,[6,5,2,2,1]],[1,[6,5 ,2,1,1,1]],[1,[6,4,4,2]],[1,[6,4,3,2,1]],[1,[[6,4,2,2,1,1],'+']],[1,[[6,4,2,2, 1,1],'-']],[1,[6,3,3,3,1]],[1,[6,3,3,2,2]],[1,[5,5,4,1,1]],[2,[[11,5],'+']],[2 ,[[11,5],'-']],[2,[[11,4,1],'0']],[2,[[10,6],'+']],[2,[[10,6],'-']],[2,[[10,5, 1],'0']],[2,[[10,4,2],'0']],[2,[[10,3,2,1],'+']],[2,[[10,3,2,1],'-']],[2,[[9,6 ,1],'0']],[2,[[9,5,2],'0']],[2,[[9,4,3],'0']],[2,[[9,4,2,1],'+']],[2,[[9,4,2,1 ],'-']],[2,[[8,7,1],'+']],[2,[[8,7,1],'-']],[2,[[8,6,2],'0']],[2,[[8,5,3],'0'] ],[2,[[8,5,2,1],'+']],[2,[[8,5,2,1],'-']],[2,[[8,4,3,1],'+']],[2,[[8,4,3,1], '-']],[2,[[7,7,2],'0']],[2,[[7,6,3],'+']],[2,[[7,6,3],'-']],[2,[[7,6,2,1],'0'] ],[2,[[7,5,4],'+']],[2,[[7,5,4],'-']],[2,[[7,5..1],'0']],[2,[[7,4,3,2],'0']],[ 2,[[6,5,4,1],'+']],[2,[[6,5,4,1],'-']],[2,[[6,5,3,2],'+']],[2,[[6,5,3,2],'-']] ,[2,[[6,4,3,2,1],'0']]])); [ Dauer der Verarbeitung: 0.23 Sekunden (vorverarbeitet) ] |
2026-03-28