| 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 |
|
Quelle ctb2a17.tbl Sprache: unbekannt |
|
|
MBT("2.Alt(17)",3,
"(no info text)", [6,6,7,6,6,7,7,6,6,6,6,7,6,6,6,6,7,6,6], [6,5], [[157,159,162,168,169,171,174,175,184,188,194,196,207,212],[160,163,165,182, 192]], [], [[[-1,1,0,0,-1,0,2,1,-1,-1,1,0,-1,0],[1,0,0,0,1,-1,0,1,-1,1,-1,0,1,0],[1,-1,0, 0,0,0,-1,0,0,1,0,0,0,0],[1,-1,1,0,0,0,1,0,0,-1,0,0,0,0],[0,1,-1,1,-1,-1,1,0,0, 0,0,0,0,0],[1,0,0,0,1,-1,0,1,0,0,0,0,0,0],[0,1,-1,0,-1,0,0,0,0,1,0,1,1,0],[0, -1,2,-1,1,1,0,0,0,-1,0,-1,-1,0],[-1,1,-1,1,0,-1,-1,0,-1,1,-1,0,0,0],[0,1,0,0,0 ,-1,2,1,-1,-1,1,0,0,0],[1,0,-1,1,0,-1,-1,0,0,1,-1,0,1,0],[0,0,0,0,0,0,1,0,0,-1 ,1,0,-1,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,1],[-1,-1,1,-1,0,2,-1,-1,1,0,0,0,0,-1]], [[-2,1,-2,2,-2],[1,0,0,0,0],[-2,1,-2,1,0],[-2,1,-1,0,-1],[2,-1,2,-1,1]]], [["Alt(17)",0]], 0, 0, rec(CharacterParameters:=[[1,[17]],[1,[16,1]],[1,[15,2]],[1,[15,1,1]],[1,[14,3 ]],[1,[14,2,1]],[1,[13,4]],[1,[13,3,1]],[1,[13,2,2]],[1,[13,2,1,1]],[1,[12,5]] ,[1,[12,4,1]],[1,[12,3,2]],[1,[12,3,1,1]],[1,[12,2,2,1]],[1,[11,6]],[1,[11,5,1 ]],[1,[11,4,2]],[1,[11,4,1,1]],[1,[11,3,3]],[1,[11,3,2,1]],[1,[11,2,2,1,1]],[1 ,[10,7]],[1,[10,6,1]],[1,[10,5,2]],[1,[10,5,1,1]],[1,[10,4,3]],[1,[10,4,2,1]], [1,[10,3,3,1]],[1,[10,3,2,2]],[1,[10,3,2,1,1]],[1,[9,7,1]],[1,[9,6,2]],[1,[9,6 ,1,1]],[1,[9,5,3]],[1,[9,5,2,1]],[1,[[9,4,4],'+']],[1,[[9,4,4],'-']],[1,[9,4,3 ,1]],[1,[9,4,2,2]],[1,[9,4,2,1,1]],[1,[9,3,3,2]],[1,[9,3,3,1,1]],[1,[9,3,2,2,1 ]],[1,[8,6,3]],[1,[8,6,2,1]],[1,[8,5,3,1]],[1,[8,5,2,2]],[1,[8,5,2,1,1]],[1,[8 ,4,2,2,1]],[1,[8,3,3,2,1]],[1,[8,3,2,2,1,1]],[1,[7,5,3,2]],[1,[7,5,3,1,1]],[1, [7,5,2,2,1]],[1,[[7,4,2,2,1,1],'+']],[1,[[7,4,2,2,1,1],'-']],[2,[[8,5,3,1],'+' ]],[2,[[8,5,3,1],'-']],[2,[[7,5,4,1],'0']],[2,[[7,5,3,2],'+']],[2,[[7,5,3,2], '-']],[2,[[7,4,3,2,1],'0']],[2,[[6,6,4,1],'0']],[2,[[6,5,4,2],'+']],[2,[[6,5,4 ,2],'-']],[2,[[6,5,3,2,1],'+']],[2,[[6,5,3,2,1],'-']],[2,[[6,4,3,3,1],'0']],[2 ,[[5,4,3,3,2],'+']],[2,[[5,4,3,3,2],'-']],[2,[[5,3,3,3,2,1],'+']],[2,[[5,3,3,3 ,2,1],'-']],[2,[[4,3,3,3,3,1],'0']],[2,[[3,3,3,3,3,2],'+']],[2,[[3,3,3,3,3,2], '-']]])); MBT("2.Alt(17)",5, "(no info text)", [17,18,18,19,18,18,19,18,18,20,20,17,19,20,20,19,18,18,17,18,18,18,18,18,18,17 ,18,18,17,18,18,19,18,18], [2,3,2,1], [[157,164,171,190,198],[159,160,161,162,163,165,166,174,175,177,180,181,182, 183,192,194,199,201,207,212],[167,169,176,178,184]], [,,,[[3,5],[2,4],[1,3],[1,2]]], [[[0,0,0,0,1],[1,-1,1,0,0],[2,-1,2,-2,2],[-2,1,-1,1,-1],[1,0,0,0,0]],[[0,1,1, -1,1,-1,-1,0,1,0,0,1,-1,-1,1,-1,0,1,-1,0],[1,0,0,-1,0,1,1,1,0,1,-1,-2,1,1,1,1, 0,-1,1,0],[-1,1,1,0,1,-2,-2,0,0,-1,2,2,-2,-2,0,-1,0,1,-1,0],[0,0,0,0,0,0,0,0,0 ,0,0,0,0,0,0,1,0,-1,1,0],[-1,1,1,-1,1,-1,-1,0,1,0,0,1,0,0,0,-1,0,0,0,0],[0,1,1 ,-1,1,0,0,1,0,0,0,-1,0,0,0,1,0,0,0,0],[0,-1,-1,1,-1,0,0,-1,0,0,0,1,0,0,0,-1,1, 0,0,0],[1,0,0,0,-1,1,1,1,0,0,0,-1,0,0,0,1,-1,0,0,0],[-1,0,0,0,1,-1,-1,-1,0,-1, 1,2,-1,-1,0,-1,1,0,-1,0],[0,1,1,-1,1,0,0,1,0,0,0,-1,0,0,0,1,-1,0,1,0],[-1,1,1, -1,2,-1,-2,0,1,0,0,1,-1,-1,1,-1,1,0,0,0],[0,2,2,-2,2,-1,0,2,1,0,0,-1,-1,-1,1,1 ,-1,0,0,0],[1,0,-1,0,-1,1,1,0,0,1,-1,-1,1,1,0,0,0,0,0,0],[1,-1,0,0,-1,1,1,0,0, 1,-1,-1,1,1,0,0,0,0,0,0],[0,0,0,0,0,0,-1,0,0,0,0,1,0,0,0,-1,0,0,0,0],[1,0,0,0, 0,0,1,0,0,0,0,-1,0,0,0,1,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],[0 ,-2,-2,2,-2,1,1,-1,-1,0,0,0,1,1,-1,0,0,0,0,-1],[-1,1,1,0,1,-1,-2,0,0,-1,1,2,-2 ,-1,0,-1,0,1,-1,0],[0,0,0,0,0,0,1,0,0,0,0,-1,1,0,0,1,0,-1,1,0]],[[-1,1,1,-1,2] ,[1,-2,-1,2,-2],[0,0,-1,1,-1],[-1,2,2,-2,2],[1,-1,-1,1,-1]]], [["Alt(17)",0]], 0, 0, rec(CharacterParameters:=[[1,[17]],[1,[16,1]],[1,[15,2]],[1,[15,1,1]],[1,[14,3 ]],[1,[14,2,1]],[1,[14,1,1,1]],[1,[13,4]],[1,[13,3,1]],[1,[13,2,2]],[1,[13,2,1 ,1]],[1,[13,1,1,1,1]],[1,[12,5]],[1,[12,4,1]],[1,[12,3,2]],[1,[12,3,1,1]],[1,[ 12,2,2,1]],[1,[12,2,1,1,1]],[1,[11,6]],[1,[11,5,1]],[1,[11,4,2]],[1,[11,4,1,1] ],[1,[11,3,3]],[1,[11,3,2,1]],[1,[11,3,1,1,1]],[1,[11,2,2,2]],[1,[11,2,2,1,1]] ,[1,[11,2,1,1,1,1]],[1,[10,7]],[1,[10,6,1]],[1,[10,5,2]],[1,[10,5,1,1]],[1,[10 ,4,3]],[1,[10,4,2,1]],[1,[10,4,1,1,1]],[1,[10,3,3,1]],[1,[10,3,2,2]],[1,[10,3, 2,1,1]],[1,[10,3,1,1,1,1]],[1,[10,2,2,2,1]],[1,[10,2,2,1,1,1]],[1,[9,8]],[1,[9 ,7,1]],[1,[9,6,2]],[1,[9,6,1,1]],[1,[9,5,3]],[1,[9,5,2,1]],[1,[9,5,1,1,1]],[1, [9,4,4]],[1,[9,4,3,1]],[1,[9,4,2,2]],[1,[9,4,2,1,1]],[1,[9,4,1,1,1,1]],[1,[9,3 ,3,2]],[1,[9,3,3,1,1]],[1,[9,3,2,2,1]],[1,[9,3,2,1,1,1]],[1,[[9,2,2,2,2],'+']] ,[1,[[9,2,2,2,2],'-']],[1,[9,2,2,2,1,1]],[1,[9,2,2,1,1,1,1]],[1,[8,8,1]],[1,[8 ,7,2]],[1,[8,7,1,1]],[1,[8,6,3]],[1,[8,6,2,1]],[1,[8,6,1,1,1]],[1,[8,5,4]],[1, [8,5,3,1]],[1,[8,5,2,2]],[1,[8,5,2,1,1]],[1,[8,5,1,1,1,1]],[1,[8,4,4,1]],[1,[8 ,4,3,2]],[1,[8,4,3,1,1]],[1,[8,4,2,2,1]],[1,[8,4,2,1,1,1]],[1,[8,3,3,3]],[1,[8 ,3,3,2,1]],[1,[8,3,3,1,1,1]],[1,[8,3,2,1,1,1,1]],[1,[7,7,3]],[1,[7,7,2,1]],[1, [7,7,1,1,1]],[1,[7,6,4]],[1,[7,6,3,1]],[1,[7,6,2,2]],[1,[7,6,2,1,1]],[1,[7,6,1 ,1,1,1]],[1,[7,5,4,1]],[1,[7,5,3,2]],[1,[7,5,3,1,1]],[1,[7,5,2,2,1]],[1,[7,4,4 ,2]],[1,[7,4,4,1,1]],[1,[7,4,3,2,1]],[1,[7,4,3,1,1,1]],[1,[7,4,2,2,2]],[1,[7,4 ,2,1,1,1,1]],[1,[7,3,3,2,1,1]],[1,[[7,3,3,1,1,1,1],'+']],[1,[[7,3,3,1,1,1,1], '-']],[1,[6,6,3,2]],[1,[6,5,3,2,1]],[1,[6,5,3,1,1,1]],[1,[[6,5,2,2,2],'+']],[1 ,[[6,5,2,2,2],'-']],[2,[[10,6,1],'0']],[2,[[9,6,2],'+']],[2,[[9,6,2],'-']],[2, [[9,5,3],'0']],[2,[[9,5,2,1],'+']],[2,[[9,5,2,1],'-']],[2,[[9,4,3,1],'0']],[2, [[8,7,2],'+']],[2,[[8,7,2],'-']],[2,[[8,6,3],'+']],[2,[[8,6,3],'-']],[2,[[8,6, 2,1],'0']],[2,[[8,5,4],'0']],[2,[[8,5,3,1],'+']],[2,[[8,5,3,1],'-']],[2,[[8,4, 3,2],'0']],[2,[[7,6,4],'+']],[2,[[7,6,4],'-']],[2,[[7,6,3,1],'0']],[2,[[7,5,4, 1],'+']],[2,[[7,5,4,1],'-']],[2,[[7,5,3,2],'+']],[2,[[7,5,3,2],'-']],[2,[[7,4, 3,2,1],'+']],[2,[[7,4,3,2,1],'-']],[2,[[6,5,5,1],'0']],[2,[[6,5,4,2],'+']],[2, [[6,5,4,2],'-']],[2,[[6,5,3,2,1],'0']],[2,[[5,5,5,2],'+']],[2,[[5,5,5,2],'-']] ,[2,[[5,5,4,3],'0']],[2,[[5,5,4,2,1],'+']],[2,[[5,5,4,2,1],'-']]])); MBT("2.Alt(17)",7, "(no info text)", [47,39,41,41,46,45,38,38,38,38,38,38,40,40,44,43,38,38,40,40,40,38,38,40,41,41 ,42,40,38,38,40,39,38,38,41,41,38,38,40,39,38,38], [2,1,2,1,0,0,0,0,0,0], [[157,158,162,164,172,173,178,179,186,187,188,189,190,191,192,199,204,212],,[ 160,167,171,174,176,177,182,184,185]], [,[[4,5],[2..4],[1..3]],,[[5,7],[4,6],[2,5],[3,4],[1,3],[1,2]]], [[[0,0,1,0,-1,0,0,-1,0,-1,1,1,0,0,1,-1,-1,0],[0,0,0,-1,1,0,0,1,-1,0,0,0,-1,-1, 1,1,1,0],[0,0,0,1,-1,0,0,-1,1,0,0,0,1,1,-1,-1,0,0],[1,1,-1,1,0,-1,0,1,0,1,-1, -1,1,1,-1,1,0,0],[-1,-1,1,-1,0,1,0,-1,0,-1,1,1,-1,-1,1,0,0,0],[-1,-1,1,-1,1,0, -1,0,-1,0,1,1,-1,-1,1,0,0,0],[1,1,-1,1,-1,0,1,0,1,1,-1,-1,1,1,-1,0,0,0],[1,1, -1,1,0,-1,0,1,1,1,-1,-1,1,1,-1,0,0,0],[-1,-1,1,-1,0,1,0,-1,-1,-1,1,2,-1,-1,1, -1,0,0],[0,0,0,-1,1,0,0,1,-1,-1,1,0,-1,-1,1,1,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,1,1,-1,-1,1,1,-1,0,0,-1],[0,0,0,1,-1,0,0,-1,0,0,0, 1,0,1,0,-1,-1,0],[0,0,-1,0,1,0,0,1,0,0,0,-1,0,-1,0,1,1,0],[0,0,0,0,0,0,0,1,0,0 ,0,-1,0,0,0,1,0,0],[-1,-1,1,0,0,0,0,-1,0,0,0,1,0,0,0,-1,0,0],[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,0,0,0,0,0,0,0]],,[[-2,2,-1,2,-2,1, -2,2,1],[0,1,-1,1,-1,1,-1,2,0],[1,-1,1,-2,1,-1,2,-2,0],[1,-1,0,0,1,0,0,0,0],[0 ,0,0,0,1,-1,1,-1,0],[-1,1,-1,2,-2,2,-2,2,0],[-1,1,0,0,0,0,0,0,0],[0,-1,1,-1,1, -1,1,-1,0],[1,0,0,0,0,0,0,0,0]]], [["Alt(17)",0]], 0, 0, rec(CharacterParameters:=[[1,[17]],[1,[16,1]],[1,[15,2]],[1,[15,1,1]],[1,[14,3 ]],[1,[14,2,1]],[1,[14,1,1,1]],[1,[13,4]],[1,[13,3,1]],[1,[13,2,2]],[1,[13,2,1 ,1]],[1,[13,1,1,1,1]],[1,[12,5]],[1,[12,4,1]],[1,[12,3,2]],[1,[12,3,1,1]],[1,[ 12,2,2,1]],[1,[12,2,1,1,1]],[1,[12,1,1,1,1,1]],[1,[11,6]],[1,[11,5,1]],[1,[11, 4,2]],[1,[11,4,1,1]],[1,[11,3,3]],[1,[11,3,2,1]],[1,[11,3,1,1,1]],[1,[11,2,2,2 ]],[1,[11,2,2,1,1]],[1,[11,2,1,1,1,1]],[1,[11,1,1,1,1,1,1]],[1,[10,7]],[1,[10, 6,1]],[1,[10,5,2]],[1,[10,5,1,1]],[1,[10,4,3]],[1,[10,4,2,1]],[1,[10,4,1,1,1]] ,[1,[10,3,3,1]],[1,[10,3,2,2]],[1,[10,3,2,1,1]],[1,[10,3,1,1,1,1]],[1,[10,2,2, 2,1]],[1,[10,2,2,1,1,1]],[1,[10,2,1,1,1,1,1]],[1,[9,8]],[1,[9,7,1]],[1,[9,6,2] ],[1,[9,6,1,1]],[1,[9,5,3]],[1,[9,5,2,1]],[1,[9,5,1,1,1]],[1,[9,4,4]],[1,[9,4, 3,1]],[1,[9,4,2,2]],[1,[9,4,2,1,1]],[1,[9,4,1,1,1,1]],[1,[9,3,3,2]],[1,[9,3,3, 1,1]],[1,[9,3,2,2,1]],[1,[9,3,2,1,1,1]],[1,[9,3,1,1,1,1,1]],[1,[9,2,2,2,2]],[1 ,[9,2,2,2,1,1]],[1,[[9,2,2,1,1,1,1],'+']],[1,[[9,2,2,1,1,1,1],'-']],[1,[9,2,1, 1,1,1,1,1]],[1,[8,8,1]],[1,[8,7,2]],[1,[8,7,1,1]],[1,[8,6,3]],[1,[8,6,2,1]],[1 ,[8,6,1,1,1]],[1,[8,5,4]],[1,[8,5,3,1]],[1,[8,5,2,2]],[1,[8,5,2,1,1]],[1,[8,5, 1,1,1,1]],[1,[8,4,4,1]],[1,[8,4,3,2]],[1,[8,4,3,1,1]],[1,[8,4,2,2,1]],[1,[8,4, 2,1,1,1]],[1,[8,4,1,1,1,1,1]],[1,[8,3,3,3]],[1,[8,3,3,2,1]],[1,[8,3,3,1,1,1]], [1,[8,3,2,2,2]],[1,[[8,3,2,1,1,1,1],'+']],[1,[[8,3,2,1,1,1,1],'-']],[1,[8,2,2, 2,2,1]],[1,[7,7,3]],[1,[7,7,2,1]],[1,[7,7,1,1,1]],[1,[7,6,4]],[1,[7,6,3,1]],[1 ,[7,6,2,2]],[1,[7,6,2,1,1]],[1,[7,6,1,1,1,1]],[1,[7,5,5]],[1,[7,5,4,1]],[1,[7, 5,3,2]],[1,[7,5,3,1,1]],[1,[7,5,2,2,1]],[1,[7,5,2,1,1,1]],[1,[7,5,1,1,1,1,1]], [1,[7,4,4,2]],[1,[[7,4,4,1,1],'+']],[1,[[7,4,4,1,1],'-']],[1,[7,4,3,3]],[1,[7, 4,3,2,1]],[1,[7,4,3,1,1,1]],[1,[7,4,2,2,2]],[1,[7,4,2,2,1,1]],[1,[7,4,2,1,1,1, 1]],[1,[7,3,3,3,1]],[1,[7,3,3,2,2]],[1,[7,2,2,2,2,2]],[1,[6,6,5]],[1,[6,6,4,1] ],[1,[6,6,3,2]],[1,[6,6,3,1,1]],[1,[6,6,2,2,1]],[1,[6,6,2,1,1,1]],[1,[6,5,5,1] ],[1,[6,5,4,2]],[1,[6,5,4,1,1]],[1,[6,5,3,2,1]],[1,[6,5,3,1,1,1]],[1,[6,5,2,2, 1,1]],[1,[[6,4,3,2,1,1],'+']],[1,[[6,4,3,2,1,1],'-']],[1,[6,3,3,3,2]],[2,[[12, 5],'0']],[2,[[11,6],'0']],[2,[[11,5,1],'+']],[2,[[11,5,1],'-']],[2,[[11,4,2], '+']],[2,[[11,4,2],'-']],[2,[[10,6,1],'+']],[2,[[10,6,1],'-']],[2,[[10,5,2], '+']],[2,[[10,5,2],'-']],[2,[[10,4,3],'+']],[2,[[10,4,3],'-']],[2,[[10,4,2,1], '0']],[2,[[9,7,1],'0']],[2,[[9,6,2],'+']],[2,[[9,6,2],'-']],[2,[[9,5,3],'+']], [2,[[9,5,3],'-']],[2,[[9,5,2,1],'0']],[2,[[9,4,3,1],'0']],[2,[[8,7,2],'0']],[2 ,[[8,6,3],'+']],[2,[[8,6,3],'-']],[2,[[8,6,2,1],'0']],[2,[[8,5,4],'+']],[2,[[8 ,5,4],'-']],[2,[[8,5,3,1],'0']],[2,[[8,4,3,2],'0']],[2,[[7,7,3],'+']],[2,[[7,7 ,3],'-']],[2,[[7,7,2,1],'0']],[2,[[7,6,4],'0']],[2,[[7,6,3,1],'+']],[2,[[7,6,3 ,1],'-']],[2,[[7,5,4,1],'+']],[2,[[7,5,4,1],'-']],[2,[[7,5,3,2],'+']],[2,[[7,5 ,3,2],'-']],[2,[[7,4,3,2,1],'0']],[2,[[6,5,4,2],'0']],[2,[[6,5,3,2,1],'+']],[2 ,[[6,5,3,2,1],'-']]])); [ Dauer der Verarbeitung: 0.27 Sekunden (vorverarbeitet) ] |
2026-03-28