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/fplsa/lib/ (Algebra von RWTH Aachen Version 4.15.1^©) Datei vom 29.7.2025 mit Größe 1 kB

Quelle std-d04.in Sprache: unbekannt

Generators D_4, roots numeration 1-2-3
                                   |
                                   4  :
e_1 e_2 e_3 e_4
f_1 f_2 f_3 f_4
h_1 h_2 h_3 h_4;

Weights:

1   1   1   1
1   1   1   1
1   1   1   1;

Limiting weight: 12;

Relations, N = 72:

[h_1,h_2];
[h_1,h_3];
[h_1,h_4];

[h_2,h_3];
[h_2,h_4];

[h_3,h_4];

[e_1,f_1]-h_1;
[e_2,f_2]-h_2;
[e_3,f_3]-h_3;
[e_4,f_4]-h_4;

[e_1,f_2];
[e_1,f_3];
[e_1,f_4];

[e_2,f_1];
[e_2,f_3];
[e_2,f_4];

[e_3,f_1];
[e_3,f_2];
[e_3,f_4];

[e_4,f_1];
[e_4,f_2];
[e_4,f_3];

[h_1,e_1]-2 e_1;
[h_1,e_2]+e_2;
[h_1,e_3];
[h_1,e_4];

[h_2,e_1]+e_1;
[h_2,e_2]-2 e_2;
[h_2,e_3]+e_3;
[h_2,e_4]+e_4;

[h_3,e_1];
[h_3,e_2]+e_2;
[h_3,e_3]-2 e_3;
[h_3,e_4];

[h_4,e_1];
[h_4,e_2]+e_2;
[h_4,e_3];
[h_4,e_4]-2 e_4;

[h_1,f_1]+2 f_1;
[h_1,f_2]-f_2;
[h_1,f_3];
[h_1,f_4];

[h_2,f_1]-f_1;
[h_2,f_2]+2 f_2;
[h_2,f_3]-f_3;
[h_2,f_4]-f_4;

[h_3,f_1];
[h_3,f_2]-f_2;
[h_3,f_3]+2 f_3;
[h_3,f_4];

[h_4,f_1];
[h_4,f_2]-f_2;
[h_4,f_3];
[h_4,f_4]+2 f_4;

[e_1,[e_1,e_2]];
[e_1,e_3];
[e_1,e_4];

[e_2,[e_2,e_1]];
[e_2,[e_2,e_3]];
[e_2,[e_2,e_4]];

[e_3,[e_3,e_2]];
[e_3,e_4];

[e_4,[e_4,e_2]];

[f_1,[f_1,f_2]];
[f_1,f_3];
[f_1,f_4];

[f_2,[f_2,f_1]];
[f_2,[f_2,f_3]];
[f_2,[f_2,f_4]];

[f_3,[f_3,f_2]];
[f_3,f_4];

[f_4,[f_4,f_2]];