Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/sources/formale Sprachen/GAP/pkg/spinsym/symdata/ (Algebra von RWTH Aachen Version 4.15.1^©) Datei vom 1.9.2019 mit Größe 7 kB

Quelle ctbs13.tbl Sprache: unbekannt

MBT("Sym(13)",2,
"(no info text)",
[1,2,1,2,1,1,1,2,1,2,1,1,1,2,2,1,2,1],
[10,8],
[[1,3,5,7,9,10,11,12,16,19,32],[2,4,6,15,17,28,29]],
[],
[[[1,0,0,0,0,0,0,0,0,0,0],[-1,1,0,0,0,0,0,0,0,0,0],[0,-1,0,0,1,0,0,0,0,0,0],[0
,-1,1,0,0,0,0,0,0,0,0],[-2,1,-1,0,-1,1,0,0,0,0,0],[-1,-1,0,0,1,-1,1,0,0,0,0],[
-1,1,-1,1,0,0,0,0,0,0,0],[2,0,1,-1,0,0,-1,1,0,0,0],[1,-2,1,0,1,-1,0,-1,1,0,0],
[-2,1,-1,0,-1,0,1,0,-1,1,0],[-2,-2,0,0,0,0,0,0,0,-1,1]],[[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]],[1,[12,1]],[1,[11,2]],[1,[10,3]],[1,[10,2,1
]],[1,[9,4]],[1,[9,3,1]],[1,[8,5]],[1,[8,4,1]],[1,[8,3,2]],[1,[7,6]],[1,[7,5,1
]],[1,[7,4,2]],[1,[7,3,2,1]],[1,[6,5,2]],[1,[6,4,3]],[1,[6,4,2,1]],[1,[5,4,3,1
]]]));

MBT("Sym(13)",3,
"(no info text)",
[1,3,1,2,1,1,3,2,3,1,1,2,2,5,1,1,1,3,1,1,1,4,2,3,1,3,3,1,2,3,1,1,2,1,2,3,5,1,2
,1,4,3,1,2],
[5,4,4,1,1],
[[1,3,4,6,7,9,12,18,20,23,25,26,27,28,30,31,32,38,48,53],[2,5,14,16,17,19,29,
46,47,52],[8,10,11,13,15,21,35,36,51,67]],
[,,,[[2,3],[1,2]],4],
[[[1,-1,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1,1,0,1,-1,-1,0,0,0,1,-1,1,0,0
,0,0,0,0,0,0],[0,0,-1,-1,1,1,0,1,-1,-1,1,-1,1,-1,1,0,0,0,0,0],[-1,0,-1,1,-1,1,
0,-1,1,0,0,0,0,0,0,0,0,0,0,0],[-1,3,0,2,-2,-2,0,0,0,2,-1,1,-2,1,-1,-1,1,0,0,0]
,[-1,0,0,1,0,0,-1,0,1,0,0,1,0,0,0,0,-1,1,0,0],[1,-2,0,-1,1,2,0,0,0,-2,1,-1,1,
-1,0,1,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,-2,-1,2,-2
,-1,1,-1,0,-1,1,0,0,1,-1,-1,1],[0,-1,-1,1,1,1,-1,1,1,-1,1,0,1,-1,0,0,-1,0,1,0]
,[1,0,1,0,1,-1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0],[-2,2,-1,1,-2,-1,1,-1,0,1,-1,0,-1
,1,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,-2,0,-1,0,1,0,0,
0,-1,0,0,1,0,0,0,0,0,0,0],[-1,0,-1,0,0,1,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],[-1,1,0,0,0,-1,0,0,0,1,0,0,0,0,0,0,0,0,0,0]
,[0,-1,0,0,1,1,-1,0,0,-1,1,0,0,0,0,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],[-1,1,-1,0,-1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0]],[[-1,0,1,-1,1,0,0,0,
0,0],[1,-1,0,1,-1,0,0,-1,1,0],[-1,0,0,-1,1,-1,1,0,-1,1],[1,1,-1,0,-1,1,0,0,0,0
],[1,0,0,0,0,0,0,0,0,0],[-1,0,0,0,1,0,-1,1,0,0],[-1,-1,1,0,0,0,0,0,0,0],[-1,1,
0,0,0,0,0,0,0,0],[0,-1,0,0,0,-1,1,0,0,0],[1,0,-1,1,0,0,0,0,0,0]],[[-1,1,-1,1,0
,0,0,0,0,0],[1,-1,0,0,1,-1,-1,1,0,0],[1,0,1,-1,-1,1,0,0,0,0],[-1,0,0,0,0,-1,1,
0,-1,1],[1,0,0,0,0,0,0,0,0,0],[-1,0,-1,0,1,0,0,0,0,0],[0,0,1,0,-1,1,0,-1,1,0],
[1,-1,1,-1,-1,0,1,0,0,0],[-1,1,0,0,0,0,0,0,0,0],[1,-1,1,0,0,0,0,0,0,0]]],
0,
0,
0,
rec(CharacterParameters:=[[1,[13]],[1,[12,1]],[1,[11,2]],[1,[11,1,1]],[1,[10,3
]],[1,[10,2,1]],[1,[9,4]],[1,[9,3,1]],[1,[9,2,2]],[1,[9,2,1,1]],[1,[8,5]],[1,[
8,4,1]],[1,[8,3,2]],[1,[8,3,1,1]],[1,[8,2,2,1]],[1,[7,6]],[1,[7,5,1]],[1,[7,4,
2]],[1,[7,4,1,1]],[1,[7,3,3]],[1,[7,3,2,1]],[1,[7,2,2,1,1]],[1,[6,6,1]],[1,[6,
5,2]],[1,[6,5,1,1]],[1,[6,4,3]],[1,[6,4,2,1]],[1,[6,3,3,1]],[1,[6,3,2,2]],[1,[
6,3,2,1,1]],[1,[5,5,3]],[1,[5,5,2,1]],[1,[5,4,4]],[1,[5,4,3,1]],[1,[5,4,2,2]],
[1,[5,4,2,1,1]],[1,[5,3,3,2]],[1,[5,3,3,1,1]],[1,[5,3,2,2,1]],[1,[4,4,3,2]],[1
,[4,4,3,1,1]],[1,[4,4,2,2,1]],[1,[4,3,3,2,1]],[1,[4,3,2,2,1,1]]]));

MBT("Sym(13)",5,
"(no info text)",
[4,2,14,1,2,1,10,4,9,1,8,7,4,4,2,4,5,4,2,9,2,4,16,2,15,1,2,3,1,1,8,14,5,4,14,1
,2,3,1,14,1,10,7,2,5,10,13,4,1,2,12,2,10,1,11,4,8,4,7,4,1,9,3,7,9,2,8,1,2,4,3,
6,4,2,5,1],
[2,2,1,2,1,0,1,1,1,1,0,0,0,1,0,0],
[[1,5,6,11,24,25,33,41,43,49,57,61,64,70],[2,4,7,15,16,21,28,45,46,48,54,63,77
,80],,[8,9,13,14,17,20,34,35,37,39,50,66,79,88]],
[,,[[4,5],[3,4],[2,3],[1,2]],,3,,3,3,3,3,,,,3],
[[[1,-1,1,0,1,-1,1,-1,1,-1,1,0,0,0],[-1,2,-1,-1,-1,2,-2,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,1,0,0,-1,0,0,1,0,0],[1,-1,1,0,1,-1
,1,0,0,0,0,0,0,0],[-2,2,-2,0,-1,1,-1,1,-1,1,0,0,0,0],[2,-1,1,0,1,-1,0,-1,1,0,0
,0,0,0],[-1,0,-1,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],[-2,1,
-1,0,-1,1,0,0,0,0,0,0,0,0],[1,0,1,-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],[-1,0,-1,1,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,0,-1,1,-1,1,0,0,0],[-1,1,0,-2,1,-1,1,0,-1,0,-1,1,-1,1],[1,-1,0,1,0
,0,-1,0,1,0,0,-1,1,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],[1,-1,2,0,-1,1,1,-1,0,-1,0,1,0,0],[-1,0,-1,0,1,0,-1,1,0,0,0,0,0,0],
[2,-1,1,1,-1,0,0,-1,1,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,-1,0,0,1,0,0,0,-1,1,-1,1],[1,-1,1,1,-1,1,0,0,0
,0,0,0,0,0],[-1,1,-2,-1,2,-2,0,-1,1,-1,1,-1,1,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,2,-2,-1,1,-1,1,-1,1,0,0,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,[13]],[1,[12,1]],[1,[11,2]],[1,[11,1,1]],[1,[10,3
]],[1,[10,2,1]],[1,[10,1,1,1]],[1,[9,4]],[1,[9,3,1]],[1,[9,2,2]],[1,[9,2,1,1]]
,[1,[9,1,1,1,1]],[1,[8,5]],[1,[8,4,1]],[1,[8,3,2]],[1,[8,3,1,1]],[1,[8,2,2,1]]
,[1,[8,2,1,1,1]],[1,[7,6]],[1,[7,5,1]],[1,[7,4,2]],[1,[7,4,1,1]],[1,[7,3,3]],[
1,[7,3,2,1]],[1,[7,3,1,1,1]],[1,[7,2,2,2]],[1,[7,2,2,1,1]],[1,[7,2,1,1,1,1]],[
1,[6,6,1]],[1,[6,5,2]],[1,[6,5,1,1]],[1,[6,4,3]],[1,[6,4,2,1]],[1,[6,4,1,1,1]]
,[1,[6,3,3,1]],[1,[6,3,2,2]],[1,[6,3,2,1,1]],[1,[6,3,1,1,1,1]],[1,[6,2,2,2,1]]
,[1,[6,2,2,1,1,1]],[1,[5,5,3]],[1,[5,5,2,1]],[1,[5,5,1,1,1]],[1,[5,4,4]],[1,[5
,4,3,1]],[1,[5,4,2,2]],[1,[5,4,2,1,1]],[1,[5,4,1,1,1,1]],[1,[5,3,3,2]],[1,[5,3
,3,1,1]],[1,[5,3,2,2,1]],[1,[5,3,2,1,1,1]],[1,[5,2,2,2,2]],[1,[5,2,2,2,1,1]],[
1,[5,2,2,1,1,1,1]],[1,[4,4,4,1]],[1,[4,4,3,2]],[1,[4,4,3,1,1]],[1,[4,4,2,2,1]]
,[1,[4,4,2,1,1,1]],[1,[4,3,3,3]],[1,[4,3,3,2,1]],[1,[4,3,3,1,1,1]],[1,[4,3,2,2
,2]],[1,[4,3,2,2,1,1]],[1,[4,3,2,1,1,1,1]],[1,[4,2,2,2,2,1]],[1,[4,2,2,2,1,1,1
]],[1,[3,3,3,3,1]],[1,[3,3,3,2,2]],[1,[3,3,3,2,1,1]],[1,[3,3,3,1,1,1,1]],[1,[3
,3,2,2,2,1]],[1,[3,3,2,2,1,1,1]],[1,[3,2,2,2,2,1,1]],[1,[3,2,2,2,1,1,1,1]]]));

MBT("Sym(13)",7,
"(no info text)",
[25,17,11,10,8,6,5,8,35,4,3,2,11,6,4,3,34,33,1,17,10,32,5,4,31,2,30,29,1,28,25
,10,25,6,5,25,3,27,2,25,26,1,25,11,17,24,8,23,5,17,22,3,21,2,17,20,19,1,17,18,
8,6,11,10,16,15,4,14,11,2,10,13,12,1,10,11,4,3,6,8,5,9,8,1,5,6,7,2,3,4],
[1,1,1,1,1,1,0,1,0,1,1,0,0,0,0,0,1,0,0,0,0,0,0,0,1,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,,1,1,,,,,,1,,,,,,,,1],
[],
0,
0,
0,
rec(CharacterParameters:=[[1,[13]],[1,[12,1]],[1,[11,2]],[1,[11,1,1]],[1,[10,3
]],[1,[10,2,1]],[1,[10,1,1,1]],[1,[9,4]],[1,[9,3,1]],[1,[9,2,2]],[1,[9,2,1,1]]
,[1,[9,1,1,1,1]],[1,[8,5]],[1,[8,4,1]],[1,[8,3,2]],[1,[8,3,1,1]],[1,[8,2,2,1]]
,[1,[8,2,1,1,1]],[1,[8,1,1,1,1,1]],[1,[7,6]],[1,[7,5,1]],[1,[7,4,2]],[1,[7,4,1
,1]],[1,[7,3,3]],[1,[7,3,2,1]],[1,[7,3,1,1,1]],[1,[7,2,2,2]],[1,[7,2,2,1,1]],[
1,[7,2,1,1,1,1]],[1,[7,1,1,1,1,1,1]],[1,[6,6,1]],[1,[6,5,2]],[1,[6,5,1,1]],[1,
[6,4,3]],[1,[6,4,2,1]],[1,[6,4,1,1,1]],[1,[6,3,3,1]],[1,[6,3,2,2]],[1,[6,3,2,1
,1]],[1,[6,3,1,1,1,1]],[1,[6,2,2,2,1]],[1,[6,2,2,1,1,1]],[1,[6,2,1,1,1,1,1]],[
1,[5,5,3]],[1,[5,5,2,1]],[1,[5,5,1,1,1]],[1,[5,4,4]],[1,[5,4,3,1]],[1,[5,4,2,2
]],[1,[5,4,2,1,1]],[1,[5,4,1,1,1,1]],[1,[5,3,3,2]],[1,[5,3,3,1,1]],[1,[5,3,2,2
,1]],[1,[5,3,2,1,1,1]],[1,[5,3,1,1,1,1,1]],[1,[5,2,2,2,2]],[1,[5,2,2,2,1,1]],[
1,[5,2,2,1,1,1,1]],[1,[5,2,1,1,1,1,1,1]],[1,[4,4,4,1]],[1,[4,4,3,2]],[1,[4,4,3
,1,1]],[1,[4,4,2,2,1]],[1,[4,4,2,1,1,1]],[1,[4,4,1,1,1,1,1]],[1,[4,3,3,3]],[1,
[4,3,3,2,1]],[1,[4,3,3,1,1,1]],[1,[4,3,2,2,2]],[1,[4,3,2,2,1,1]],[1,[4,3,2,1,1
,1,1]],[1,[4,3,1,1,1,1,1,1]],[1,[4,2,2,2,2,1]],[1,[4,2,2,2,1,1,1]],[1,[4,2,2,1
,1,1,1,1]],[1,[3,3,3,3,1]],[1,[3,3,3,2,2]],[1,[3,3,3,2,1,1]],[1,[3,3,3,1,1,1,1
]],[1,[3,3,2,2,2,1]],[1,[3,3,2,2,1,1,1]],[1,[3,3,2,1,1,1,1,1]],[1,[3,2,2,2,2,2
]],[1,[3,2,2,2,2,1,1]],[1,[3,2,2,2,1,1,1,1]],[1,[3,2,2,1,1,1,1,1,1]],[1,[2,2,2
,2,2,2,1]],[1,[2,2,2,2,2,1,1,1]],[1,[2,2,2,2,1,1,1,1,1]]]));