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 9 kB

SSL ctb2s15.tbl Sprache: unbekannt

MBT("2.Sym(15)",3,
"(no info text)",
[10,8,8,9,8,8,8,8,8,8,8,8,8,8,8,8],
[6,1,0],
[[177,178,180,185,186,188,189,193,194,195,204,207,212,214]],
[,[[1..3]]],
[[[-1,0,1,0,-1,0,0,1,-1,-1,0,0,0,0],[-1,0,1,-1,0,0,0,1,-1,-1,0,0,0,0],[0,-1,-1
,1,1,-1,0,0,1,1,-1,1,-1,-1],[-1,0,2,-1,-1,0,0,1,-1,-1,1,-1,1,1],[0,2,1,-1,-1,1
,0,0,0,0,0,-1,1,0],[-1,0,0,0,0,0,0,0,0,0,0,1,-1,0],[0,0,0,1,0,0,-1,0,0,0,0,0,0
,0],[1,0,0,-1,0,0,1,0,0,0,0,0,0,0],[-2,-2,0,1,1,-1,0,0,-1,-1,0,0,-1,-1],[-1,0,
2,-1,-1,0,0,1,-1,-1,0,0,1,1],[0,0,0,0,0,0,0,0,-1,0,1,-1,1,0],[0,-1,-1,1,1,-1,0
,0,1,0,-1,1,-1,0],[0,1,1,-1,-1,1,0,0,-1,0,1,-1,1,1],[1,0,-2,1,1,0,0,-1,2,1,-1,
1,-1,-1]]],
[["Sym(15)",0]],
0,
0,
rec(CharacterParameters:=[[1,[15]],[1,[14,1]],[1,[13,2]],[1,[13,1,1]],[1,[12,3
]],[1,[12,2,1]],[1,[11,4]],[1,[11,3,1]],[1,[11,2,2]],[1,[11,2,1,1]],[1,[10,5]]
,[1,[10,4,1]],[1,[10,3,2]],[1,[10,3,1,1]],[1,[10,2,2,1]],[1,[9,6]],[1,[9,5..1]
],[1,[9,4,2]],[1,[9,4,1,1]],[1,[9,3,3]],[1,[9,3,2,1]],[1,[9,2,2,1,1]],[1,[8,7]
],[1,[8,6,1]],[1,[8,5..2]],[1,[8,5,1,1]],[1,[8,4,3]],[1,[8,4,2,1]],[1,[8,3,3,1
]],[1,[8,3,2,2]],[1,[8,3,2,1,1]],[1,[7,7,1]],[1,[7,6,2]],[1,[7,6,1,1]],[1,[7,5
..3]],[1,[7,5,2,1]],[1,[7,4,4]],[1,[7,4,3,1]],[1,[7,4,2,2]],[1,[7,4,2,1,1]],[1
,[7,3,3,2]],[1,[7,3,3,1,1]],[1,[7,3,2,2,1]],[1,[6,6,3]],[1,[6,6,2,1]],[1,[6,5
..4]],[1,[6,5,3,1]],[1,[6,5,2,2]],[1,[6,5,2,1,1]],[1,[6,4,4,1]],[1,[6,4,3,2]],
[1,[6,4,3,1,1]],[1,[6,4,2,2,1]],[1,[6,3,3,2,1]],[1,[6,3,2,2,1,1]],[1,[5,5,4,1]
],[1,[5,5,3,2]],[1,[5,5,3,1,1]],[1,[5,5,2,2,1]],[1,[5,4,4,2]],[1,[5,4,4,1,1]],
[1,[5,4,3,3]],[1,[5,4..1]],[1,[5,4,2,2,1,1]],[1,[5,3,3,2,2]],[1,[5,3,3,2,1,1]]
,[1,[4,4,3,3,1]],[1,[4,4,3,2,2]],[1,[4,4,3,2,1,1]],[1,[4,3,3,2,2,1]],[2,[[8,5
..2],'0']],[2,[[7,5,2,1],'+']],[2,[[7,5,2,1],'-']],[2,[[7,4,3,1],'0']],[2,[[6,
5,3,1],'+']],[2,[[6,5,3,1],'-']],[2,[[6,4,3,2],'+']],[2,[[6,4,3,2],'-']],[2,[[
5,4..1],'+']],[2,[[5,4..1],'-']],[2,[[5,3,3,3,1],'+']],[2,[[5,3,3,3,1],'-']],[
2,[[4,3,3,3,2],'+']],[2,[[4,3,3,3,2],'-']],[2,[[3,3,3,3,2,1],'+']],[2,[[3,3,3,
3,2,1],'-']]]));

MBT("2.Sym(15)",5,
"(no info text)",
[27,27,31,28,27,27,30,27,27,29,27,27,29,27,27,27,27,28,27,27,27,27,27,27,27,27
],
[3,1,1,0,0],
[[177,178,179,182,183,184,187,189,190,192,194,195,196,199,200,201,207,210,212,
214]],
[,[[3,4],[1..3]],2],
[[[0,-1,-1,1,1,1,-1,-1,-1,1,-2,-2,0,0,1,1,-1,1,-1,-1],[-1,1,1,0,-1,-1,0,1,1,0,
0,0,0,-1,1,1,1,-1,1,1],[0,0,0,0,-1,-1,1,1,1,-1,2,2,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,0,0,1,1,-1,-1,-1,1,-1,-1,1,0,0,0,0,0,0
,0],[0,1,0,0,0,0,-1,0,0,1,-1,-1,-1,0,0,0,0,0,0,0],[-1,0,0,0,0,0,0,0,0,0,-1,0,0
,0,0,1,-1,1,0,0],[-1,1,1,-1,-1,-1,1,0,0,0,1,0,0,0,0,-1,1,-1,0,0],[1,-1,0,1,0,1
,-1,0,0,1,-1,-1,0,-1,1,1,0,0,0,0],[1,0,-1,1,1,0,-1,0,0,1,-1,-1,0,-1,1,1,0,0,0,
0],[1,-1,-1,1,1,1,-1,-1,-1,1,-2,-1,0,0,0,1,-1,1,-1,0],[1,0,0,0,0,0,0,0,0,0,1,0
,0,0,0,-1,1,-1,1,0],[-1,0,1,0,-1,-1,1,1,1,-1,1,1,0,0,0,0,0,0,0,0],[-1,1,0,0,-1
,-1,1,1,1,-1,1,1,0,0,0,0,0,0,0,0],[0,-1,-1,0,1,1,0,-1,-1,0,-1,0,0,1,-1,0,-1,1,
-1,-1],[-1,1,1,-1,-1,-1,1,1,1,-1,2,1,0,0,0,-1,1,-1,1,1],[0,0,0,0,1,1,-1,-1,-1,
1,-2,-1,0,0,0,0,0,1,-1,0],[0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,-1,1,0],[1,-1,0,0
,0,1,0,-1,0,0,0,0,1,0,0,0,0,0,0,0],[0,1,0,0,0,-1,0,1,0,0,0,0,-1,0,0,0,0,0,0,0]
]],
[["Sym(15)",0]],
0,
0,
rec(CharacterParameters:=[[1,[15]],[1,[14,1]],[1,[13,2]],[1,[13,1,1]],[1,[12,3
]],[1,[12,2,1]],[1,[12,1,1,1]],[1,[11,4]],[1,[11,3,1]],[1,[11,2,2]],[1,[11,2,1
,1]],[1,[11,1,1,1,1]],[1,[10,5]],[1,[10,4,1]],[1,[10,3,2]],[1,[10,3,1,1]],[1,[
10,2,2,1]],[1,[10,2,1,1,1]],[1,[9,6]],[1,[9,5..1]],[1,[9,4,2]],[1,[9,4,1,1]],[
1,[9,3,3]],[1,[9,3,2,1]],[1,[9,3,1,1,1]],[1,[9,2,2,2]],[1,[9,2,2,1,1]],[1,[9,2
,1,1,1,1]],[1,[8,7]],[1,[8,6,1]],[1,[8,5..2]],[1,[8,5,1,1]],[1,[8,4,3]],[1,[8,
4,2,1]],[1,[8,4,1,1,1]],[1,[8,3,3,1]],[1,[8,3,2,2]],[1,[8,3,2,1,1]],[1,[8,3,1,
1,1,1]],[1,[8,2,2,2,1]],[1,[8,2,2,1,1,1]],[1,[7,7,1]],[1,[7,6,2]],[1,[7,6,1,1]
],[1,[7,5..3]],[1,[7,5,2,1]],[1,[7,5,1,1,1]],[1,[7,4,4]],[1,[7,4,3,1]],[1,[7,4
,2,2]],[1,[7,4,2,1,1]],[1,[7,4,1,1,1,1]],[1,[7,3,3,2]],[1,[7,3,3,1,1]],[1,[7,3
,2,2,1]],[1,[7,3,2,1,1,1]],[1,[7,2,2,2,2]],[1,[7,2,2,2,1,1]],[1,[7,2,2,1,1,1,1
]],[1,[6,6,3]],[1,[6,6,2,1]],[1,[6,6,1,1,1]],[1,[6,5..4]],[1,[6,5,3,1]],[1,[6,
5,2,2]],[1,[6,5,2,1,1]],[1,[6,5,1,1,1,1]],[1,[6,4,4,1]],[1,[6,4,3,2]],[1,[6,4,
3,1,1]],[1,[6,4,2,2,1]],[1,[6,4,2,1,1,1]],[1,[6,3,3,3]],[1,[6,3,3,2,1]],[1,[6,
3,3,1,1,1]],[1,[6,3,2,2,2]],[1,[6,3,2,2,1,1]],[1,[6,3,2,1,1,1,1]],[1,[6,2,2,2,
2,1]],[1,[6,2,2,2,1,1,1]],[1,[5,5,5]],[1,[5,5,4,1]],[1,[5,5,3,2]],[1,[5,5,3,1,
1]],[1,[5,5,2,2,1]],[1,[5,5,2,1,1,1]],[1,[5,4,4,2]],[1,[5,4,4,1,1]],[1,[5,4,3,
3]],[1,[5,4..1]],[1,[5,4,3,1,1,1]],[1,[5,4,2,2,2]],[1,[5,4,2,2,1,1]],[1,[5,4,2
,1,1,1,1]],[1,[5,3,3,3,1]],[1,[5,3,3,2,2]],[1,[5,3,3,2,1,1]],[1,[5,3,3,1,1,1,1
]],[1,[5,3,2,2,2,1]],[1,[5,3,2,2,1,1,1]],[1,[5,2,2,2,2,1,1]],[1,[5,2,2,2,1,1,1
,1]],[1,[4,4,4,3]],[1,[4,4,4,2,1]],[1,[4,4,4,1,1,1]],[1,[4,4,3,3,1]],[1,[4,4,3
,2,2]],[1,[4,4,3,2,1,1]],[1,[4,4,3,1,1,1,1]],[1,[4,4,2,2,2,1]],[1,[4,4,2,2,1,1
,1]],[1,[4,3,3,3,2]],[1,[4,3,3,3,1,1]],[1,[4,3,3,2,2,1]],[1,[4,3,3,2,1,1,1]],[
1,[4,3,2,2,2,2]],[1,[4,3,2,2,2,1,1]],[1,[4,3,2,2,1,1,1,1]],[1,[4,2,2,2,2,1,1,1
]],[1,[3,3,3,3,2,1]],[1,[3,3,3,3,1,1,1]],[1,[3,3,3,2,2,2]],[1,[3,3,3,2,2,1,1]]
,[1,[3,3,3,2,1,1,1,1]],[1,[3,3,2,2,2,2,1]],[1,[3,3,2,2,2,1,1,1]],[1,[3,2,2,2,2
,1,1,1,1]],[2,[[9,5..1],'+']],[2,[[9,5..1],'-']],[2,[[9,4,2],'0']],[2,[[8,6,1]
,'0']],[2,[[8,5..2],'+']],[2,[[8,5..2],'-']],[2,[[8,4,3],'0']],[2,[[8,4,2,1],
'+']],[2,[[8,4,2,1],'-']],[2,[[7,6,2],'0']],[2,[[7,5..3],'+']],[2,[[7,5..3],
'-']],[2,[[7,5,2,1],'0']],[2,[[7,4,3,1],'+']],[2,[[7,4,3,1],'-']],[2,[[6,5..4]
,'+']],[2,[[6,5..4],'-']],[2,[[6,5,3,1],'0']],[2,[[6,4,3,2],'+']],[2,[[6,4,3,2
],'-']],[2,[[5,5,4,1],'+']],[2,[[5,5,4,1],'-']],[2,[[5,5,3,2],'+']],[2,[[5,5,3
,2],'-']],[2,[[5,4..1],'+']],[2,[[5,4..1],'-']]]));

MBT("2.Sym(15)",7,
"(no info text)",
[64,63,55,55,53,62,54,54,53,61,59,60,53,53,53,58,57,53,54,54,55,55,53,53,56,55
,55,54,54,53],
[2,1,1,0,0,0,0,0,0,0,0,0],
[[177,183,185,191,192,193,194,199,203]],
[,[[5,7],[4,6],[3,5],[3,4],[2,3],[1,3]],[[4,7],[5,6],[3,5],[3,4],[2,3],[1,3]]]
,
[[[-2,2,-2,-2,2,-1,2,-1,1],[1,-1,2,1,-2,1,-2,1,0],[0,1,-1,-1,1,-1,2,0,0],[-2,1
,-1,-1,1,0,0,0,0],[1,-1,0,1,0,0,0,0,0],[0,0,0,1,-1,1,-1,0,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]]],
[["Sym(15)",0]],
0,
0,
rec(CharacterParameters:=[[1,[15]],[1,[14,1]],[1,[13,2]],[1,[13,1,1]],[1,[12,3
]],[1,[12,2,1]],[1,[12,1,1,1]],[1,[11,4]],[1,[11,3,1]],[1,[11,2,2]],[1,[11,2,1
,1]],[1,[11,1,1,1,1]],[1,[10,5]],[1,[10,4,1]],[1,[10,3,2]],[1,[10,3,1,1]],[1,[
10,2,2,1]],[1,[10,2,1,1,1]],[1,[10,1,1,1,1,1]],[1,[9,6]],[1,[9,5..1]],[1,[9,4,
2]],[1,[9,4,1,1]],[1,[9,3,3]],[1,[9,3,2,1]],[1,[9,3,1,1,1]],[1,[9,2,2,2]],[1,[
9,2,2,1,1]],[1,[9,2,1,1,1,1]],[1,[9,1,1,1,1,1,1]],[1,[8,7]],[1,[8,6,1]],[1,[8,
5..2]],[1,[8,5,1,1]],[1,[8,4,3]],[1,[8,4,2,1]],[1,[8,4,1,1,1]],[1,[8,3,3,1]],[
1,[8,3,2,2]],[1,[8,3,2,1,1]],[1,[8,3,1,1,1,1]],[1,[8,2,2,2,1]],[1,[8,2,2,1,1,1
]],[1,[8,2,1,1,1,1,1]],[1,[7,7,1]],[1,[7,6,2]],[1,[7,6,1,1]],[1,[7,5..3]],[1,[
7,5,2,1]],[1,[7,5,1,1,1]],[1,[7,4,4]],[1,[7,4,3,1]],[1,[7,4,2,2]],[1,[7,4,2,1,
1]],[1,[7,4,1,1,1,1]],[1,[7,3,3,2]],[1,[7,3,3,1,1]],[1,[7,3,2,2,1]],[1,[7,3,2,
1,1,1]],[1,[7,3,1,1,1,1,1]],[1,[7,2,2,2,2]],[1,[7,2,2,2,1,1]],[1,[7,2,2,1,1,1,
1]],[1,[7,2,1,1,1,1,1,1]],[1,[6,6,3]],[1,[6,6,2,1]],[1,[6,6,1,1,1]],[1,[6,5..4
]],[1,[6,5,3,1]],[1,[6,5,2,2]],[1,[6,5,2,1,1]],[1,[6,5,1,1,1,1]],[1,[6,4,4,1]]
,[1,[6,4,3,2]],[1,[6,4,3,1,1]],[1,[6,4,2,2,1]],[1,[6,4,2,1,1,1]],[1,[6,4,1,1,1
,1,1]],[1,[6,3,3,3]],[1,[6,3,3,2,1]],[1,[6,3,3,1,1,1]],[1,[6,3,2,2,2]],[1,[6,3
,2,2,1,1]],[1,[6,3,2,1,1,1,1]],[1,[6,3,1,1,1,1,1,1]],[1,[6,2,2,2,2,1]],[1,[6,2
,2,2,1,1,1]],[1,[6,2,2,1,1,1,1,1]],[1,[5,5,5]],[1,[5,5,4,1]],[1,[5,5,3,2]],[1,
[5,5,3,1,1]],[1,[5,5,2,2,1]],[1,[5,5,2,1,1,1]],[1,[5,5,1,1,1,1,1]],[1,[5,4,4,2
]],[1,[5,4,4,1,1]],[1,[5,4,3,3]],[1,[5,4..1]],[1,[5,4,3,1,1,1]],[1,[5,4,2,2,2]
],[1,[5,4,2,2,1,1]],[1,[5,4,2,1,1,1,1]],[1,[5,4,1,1,1,1,1,1]],[1,[5,3,3,3,1]],
[1,[5,3,3,2,2]],[1,[5,3,3,2,1,1]],[1,[5,3,3,1,1,1,1]],[1,[5,3,2,2,2,1]],[1,[5,
3,2,2,1,1,1]],[1,[5,3,2,1,1,1,1,1]],[1,[5,2,2,2,2,2]],[1,[5,2,2,2,2,1,1]],[1,[
5,2,2,2,1,1,1,1]],[1,[5,2,2,1,1,1,1,1,1]],[1,[4,4,4,3]],[1,[4,4,4,2,1]],[1,[4,
4,4,1,1,1]],[1,[4,4,3,3,1]],[1,[4,4,3,2,2]],[1,[4,4,3,2,1,1]],[1,[4,4,3,1,1,1,
1]],[1,[4,4,2,2,2,1]],[1,[4,4,2,2,1,1,1]],[1,[4,4,2,1,1,1,1,1]],[1,[4,3,3,3,2]
],[1,[4,3,3,3,1,1]],[1,[4,3,3,2,2,1]],[1,[4,3,3,2,1,1,1]],[1,[4,3,3,1,1,1,1,1]
],[1,[4,3,2,2,2,2]],[1,[4,3,2,2,2,1,1]],[1,[4,3,2,2,1,1,1,1]],[1,[4,3,2,1,1,1,
1,1,1]],[1,[4,2,2,2,2,2,1]],[1,[4,2,2,2,2,1,1,1]],[1,[4,2,2,2,1,1,1,1,1]],[1,[
3,3,3,3,3]],[1,[3,3,3,3,2,1]],[1,[3,3,3,3,1,1,1]],[1,[3,3,3,2,2,2]],[1,[3,3,3,
2,2,1,1]],[1,[3,3,3,2,1,1,1,1]],[1,[3,3,3,1,1,1,1,1,1]],[1,[3,3,2,2,2,2,1]],[1
,[3,3,2,2,2,1,1,1]],[1,[3,3,2,2,1,1,1,1,1]],[1,[3,2,2,2,2,2,2]],[1,[3,2,2,2,2,
2,1,1]],[1,[3,2,2,2,2,1,1,1,1]],[1,[3,2,2,2,1,1,1,1,1,1]],[1,[2,2,2,2,2,2,1,1,
1]],[1,[2,2,2,2,2,1,1,1,1,1]],[2,[[11,4],'+']],[2,[[11,4],'-']],[2,[[10,5],'+'
]],[2,[[10,5],'-']],[2,[[10,4,1],'0']],[2,[[10,3,2],'0']],[2,[[9,6],'+']],[2,[
[9,6],'-']],[2,[[9,5..1],'0']],[2,[[9,4,2],'0']],[2,[[9,3,2,1],'+']],[2,[[9,3,
2,1],'-']],[2,[[8,6,1],'0']],[2,[[8,5..2],'0']],[2,[[8,4,3],'0']],[2,[[8,4,2,1
],'+']],[2,[[8,4,2,1],'-']],[2,[[7,7,1],'0']],[2,[[7,6,2],'+']],[2,[[7,6,2],
'-']],[2,[[7,5..3],'+']],[2,[[7,5..3],'-']],[2,[[7,5,2,1],'0']],[2,[[7,4,3,1],
'0']],[2,[[6,5..4],'0']],[2,[[6,5,3,1],'+']],[2,[[6,5,3,1],'-']],[2,[[6,4,3,2]
,'+']],[2,[[6,4,3,2],'-']],[2,[[5,4..1],'0']]]));