| 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 ctbs12.tbl Sprache: unbekannt |
|
|
MBT("Sym(12)",2,
"(no info text)", [1,1,1,1,2,1,1,1,2,1,1,1,3,2,1], [10,4,1], [[1,2,3,4,5,6,10,12,14,15,27],[9,11,18]], [,,[[1,2]]], [[[1,0,0,0,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0,0],[1,-1,1,0,0,0,0,0,0,0,0],[0 ,0,-1,1,0,0,0,0,0,0,0],[0,-1,1,-1,1,0,0,0,0,0,0],[-3,1,-1,0,-1,0,1,0,0,0,0],[ -1,1,0,0,-1,1,0,0,0,0,0],[2,-2,1,0,1,-1,-1,0,1,0,0],[3,-1,1,0,1,-1,-1,1,0,0,0] ,[-4,2,-2,0,-1,1,1,-1,-1,1,0],[6,-6,3,-2,2,-2,-1,1,1,-2,1]],[[1,0,0],[0,1,0],[ -1..1]]], 0, 0, 0, rec(CharacterParameters:=[[1,[12]],[1,[11,1]],[1,[10,2]],[1,[9,3]],[1,[9,2,1]] ,[1,[8,4]],[1,[8,3,1]],[1,[7,5]],[1,[7,4..1]],[1,[7,3,2]],[1,[6,5,1]],[1,[6,4 ..2]],[1,[6,3,2,1]],[1,[5,4..3]],[1,[5,4,2,1]]])); MBT("Sym(12)",3, "(no info text)", [1,1,5,1,1,1,1,6,1,2,5,1,1,2,5,1,1,7,1,1,1,3,1,2,1,1,2,6,1,5,1,3,2,5,1,4], [5,2,1,0,2,1,0], [[1,2,4,5,7,8,9,11,12,13,14,16,17,18,23,26,27,32,40,44],[3,6,25,29,42],,,[21, 22,24,28,33]], [,,[[2,3],[1,2]],,,3], [[[1,-1,1,-1,1,0,0,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,0,0],[2,-2,1,-1,1,2,-1,1,-1,1,-1,1,0,0,0,0,0,0,0,0],[1,0,0,-1,1,1,-1 ,1,-1,1,0,0,1,-1,0,-1,1,0,0,0],[-3,3,-2,2,-2,-2,2,-1,1,-2,1,-1,-1,1,0,0,0,0,0, 0],[-1,0,0,1,0,0,0,-1,0,0,0,1,0,0,1,0,-1,1,0,0],[3,-2,2,-1,1,2,-2,1,-1,1,-1,0, 1,0,0,0,0,0,0,0],[1,-1,0,-1,-1,0,0,1,1,0,-1,-1,-1,0,-1,1,1,-1,-1,1],[-2,2,-1,1 ,0,-2,1,-1,0,-1,1,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,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,1,1,1,-1,0,-1,1,0,1,1,0,1, -1,-1,0,1,0],[2,-2,1,-1,0,1,-1,0,0,1,0,0,0,0,0,0,0,0,0,0],[-3,2,-2,1,-2,-1,1,0 ,1,-1,0,0,-1,0,-1,1,0,0,0,0],[1,-1,0,0,0,1,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],[0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0 ,0],[1,-1,1,0,1,1,-1,0,-1,0,0,0,0,0,1,0,0,0,0,0],[-1,1,-1,1,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0],[2,-1,1,-1,0,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0]],[[1,0,-1,1,0],[-1 ,1,0,-1,1],[1,0,0,0,0],[-1,-1,1,0,0],[0,1,0,0,0]],,,[[1,-1,1,0,0],[0,0,1,-1,1] ,[-1,0,-1,1,0],[1,0,0,0,0],[-1,1,0,0,0]]], 0, 0, 0, rec(CharacterParameters:=[[1,[12]],[1,[11,1]],[1,[10,2]],[1,[10,1,1]],[1,[9,3] ],[1,[9,2,1]],[1,[8,4]],[1,[8,3,1]],[1,[8,2,2]],[1,[8,2,1,1]],[1,[7,5]],[1,[7, 4..1]],[1,[7,3,2]],[1,[7,3,1,1]],[1,[7,2,2,1]],[1,[6,6]],[1,[6,5,1]],[1,[6,4.. 2]],[1,[6,4,1,1]],[1,[6,3,3]],[1,[6,3,2,1]],[1,[6,2,2,1,1]],[1,[5,5,2]],[1,[5, 5,1,1]],[1,[5,4..3]],[1,[5,4,2,1]],[1,[5,3,3,1]],[1,[5,3,2,2]],[1,[5,3,2,1,1]] ,[1,[4,4,3,1]],[1,[4,4,2,2]],[1,[4,4,2,1,1]],[1,[4,3,3,2]],[1,[4,3,3,1,1]],[1, [4,3,2,2,1]],[1,[3,3,2,2,1,1]]])); MBT("Sym(12)",5, "(no info text)", [2,1,1,12,2,9,8,19,2,1,5,4,2,2,18,2,1,2,1,9,1,5,17,1,2,16,1,15,12,8,1,14,4,1, 12,13,2,12,1,2,5,8,4,11,9,2,10,2,8,9,1,1,2,7,4,2,6,5,1,3], [2,2,0,1,1,0,0,1,1,0,0,1,0,0,0,0,0,0,0], [[1,4,6,10,11,19,22,36,37,42,45,50,53,56],[2,3,7,13,15,18,25,26,28,34,39,52,62 ,64]], [,,,[[4,5],[3,4],[2,3],[1,2]],4,,,4,4,,,4], [[[1,-1,1,1,-1,1,0,-1,1,-1,1,0,0,0],[-1,2,-1,-2,1,-2,1,0,-1,1,-1,1,-1,1],[1,-2 ,1,1,0,1,-1,0,1,-1,0,-1,1,0],[-1,1,0,-1,0,0,1,0,-1,0,0,1,0,0],[1,-1,1,1,-1,1,0 ,0,0,0,0,0,0,0],[-2,2,-2,-1,1,-1,0,1,-1,1,0,0,0,0],[2,-1,1,1,-1,0,0,-1,1,0,0,0 ,0,0],[-1,0,-1,0,1,0,-1,1,0,0,0,0,0,0],[1,-1,1,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],[1,0,1,0,-1,0,1,0,0,0,0,0,0,0],[1,-1,0,1,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,0]],[[1,-1, 1,1,-1,1,-1,1,-1,1,0,0,0,0],[-1,1,0,-2,1,-1,1,0,0,-1,-1,1,-1,1],[1,-1,0,1,0,0, -1,0,0,0,1,-1,1,0],[1,-1,1,1,-1,1,0,0,0,0,0,0,0,0],[-2,2,-2,-1,1,-1,1,-1,1,0,0 ,0,0,0],[1,-1,2,0,-1,1,0,1,-1,0,-1,1,0,0],[-1,0,-1,0,1,0,0,-1,0,0,1,0,0,0],[2, -1,1,1,-1,0,-1,1,0,0,0,0,0,0],[-1,1,0,-1,0,0,1,0,0,0,0,0,0,0],[1,-1,1,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],[1,-1,0,1,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,0]]], 0, 0, 0, rec(CharacterParameters:=[[1,[12]],[1,[11,1]],[1,[10,2]],[1,[10,1,1]],[1,[9,3] ],[1,[9,2,1]],[1,[9,1,1,1]],[1,[8,4]],[1,[8,3,1]],[1,[8,2,2]],[1,[8,2,1,1]],[1 ,[8,1,1,1,1]],[1,[7,5]],[1,[7,4..1]],[1,[7,3,2]],[1,[7,3,1,1]],[1,[7,2,2,1]],[ 1,[7,2,1,1,1]],[1,[6,6]],[1,[6,5,1]],[1,[6,4..2]],[1,[6,4,1,1]],[1,[6,3,3]],[1 ,[6,3,2,1]],[1,[6,3,1,1,1]],[1,[6,2,2,2]],[1,[6,2,2,1,1]],[1,[6,2,1,1,1,1]],[1 ,[5,5,2]],[1,[5,5,1,1]],[1,[5,4..3]],[1,[5,4,2,1]],[1,[5,4,1,1,1]],[1,[5,3,3,1 ]],[1,[5,3,2,2]],[1,[5,3,2,1,1]],[1,[5,3,1,1,1,1]],[1,[5,2,2,2,1]],[1,[5,2,2,1 ,1,1]],[1,[4,4,4]],[1,[4,4,3,1]],[1,[4,4,2,2]],[1,[4,4,2,1,1]],[1,[4,4,1,1,1,1 ]],[1,[4,3,3,2]],[1,[4,3,3,1,1]],[1,[4,3,2,2,1]],[1,[4,3,2,1,1,1]],[1,[4,2,2,2 ,2]],[1,[4,2,2,2,1,1]],[1,[4,2,2,1,1,1,1]],[1,[3,3,3,3]],[1,[3,3,3,2,1]],[1,[3 ,3,3,1,1,1]],[1,[3,3,2,2,2]],[1,[3,3,2,2,1,1]],[1,[3,3,2,1,1,1,1]],[1,[3,2,2,2 ,2,1]],[1,[3,2,2,2,1,1,1]],[1,[2,2,2,2,1,1,1,1]]])); MBT("Sym(12)",7, "(no info text)", [19,11,6,5,35,3,2,6,3,34,33,1,11,5,32,2,31,1,30,19,29,5,28,3,2,27,26,1,25,24, 11,19,6,23,19,22,2,21,19,1,20,19,18,6,5,11,17,3,16,15,11,14,1,13,11,12,10,3,6, 2,5,9,8,7,5,6,1,2,3,4], [1,1,1,0,1,1,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [], [[[6,7],[5,6],[4,5],[3,4],[2,3],[1,2]],1,1,,1,1,,,,,1,,,,,,,,1], [], 0, 0, 0, rec(CharacterParameters:=[[1,[12]],[1,[11,1]],[1,[10,2]],[1,[10,1,1]],[1,[9,3] ],[1,[9,2,1]],[1,[9,1,1,1]],[1,[8,4]],[1,[8,3,1]],[1,[8,2,2]],[1,[8,2,1,1]],[1 ,[8,1,1,1,1]],[1,[7,5]],[1,[7,4..1]],[1,[7,3,2]],[1,[7,3,1,1]],[1,[7,2,2,1]],[ 1,[7,2,1,1,1]],[1,[7,1,1,1,1,1]],[1,[6,6]],[1,[6,5,1]],[1,[6,4..2]],[1,[6,4,1, 1]],[1,[6,3,3]],[1,[6,3,2,1]],[1,[6,3,1,1,1]],[1,[6,2,2,2]],[1,[6,2,2,1,1]],[1 ,[6,2,1,1,1,1]],[1,[6,1,1,1,1,1,1]],[1,[5,5,2]],[1,[5,5,1,1]],[1,[5,4..3]],[1, [5,4,2,1]],[1,[5,4,1,1,1]],[1,[5,3,3,1]],[1,[5,3,2,2]],[1,[5,3,2,1,1]],[1,[5,3 ,1,1,1,1]],[1,[5,2,2,2,1]],[1,[5,2,2,1,1,1]],[1,[5,2,1,1,1,1,1]],[1,[4,4,4]],[ 1,[4,4,3,1]],[1,[4,4,2,2]],[1,[4,4,2,1,1]],[1,[4,4,1,1,1,1]],[1,[4,3,3,2]],[1, [4,3,3,1,1]],[1,[4,3,2,2,1]],[1,[4,3,2,1,1,1]],[1,[4,3,1,1,1,1,1]],[1,[4,2,2,2 ,2]],[1,[4,2,2,2,1,1]],[1,[4,2,2,1,1,1,1]],[1,[4,2,1,1,1,1,1,1]],[1,[3,3,3,3]] ,[1,[3,3,3,2,1]],[1,[3,3,3,1,1,1]],[1,[3,3,2,2,2]],[1,[3,3,2,2,1,1]],[1,[3,3,2 ,1,1,1,1]],[1,[3,3,1,1,1,1,1,1]],[1,[3,2,2,2,2,1]],[1,[3,2,2,2,1,1,1]],[1,[3,2 ,2,1,1,1,1,1]],[1,[2,2,2,2,2,2]],[1,[2,2,2,2,2,1,1]],[1,[2,2,2,2,1,1,1,1]],[1, [2,2,2,1,1,1,1,1,1]]])); [ Dauer der Verarbeitung: 0.15 Sekunden (vorverarbeitet) ] |
2026-03-28