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

Quellcode-Bibliothek std-c05.in Sprache: unbekannt

Generators C_5, roots numeration 1-2-3-4<=5:

e_1 e_2 e_3 e_4 e_5
f_1 f_2 f_3 f_4 f_5
h_1 h_2 h_3 h_4 h_5;

Weights:

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

Limiting weight: 20;

Relations, N = 113:

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

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

[h_3,h_4];
[h_3,h_5];

[h_4,h_5];

[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_5,f_5]-h_5;

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

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

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

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

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

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

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

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

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

[h_5,e_1];
[h_5,e_2];
[h_5,e_3];
[h_5,e_4]+e_4;
[h_5,e_5]-2 e_5;

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

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

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

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

[h_5,f_1];
[h_5,f_2];
[h_5,f_3];
[h_5,f_4]-f_4;
[h_5,f_5]+2 f_5;

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

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

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

[e_4,[e_4,e_3]];
[e_4,[e_4,[e_4,e_5]]];

[e_5,[e_5,e_4]];

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

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

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

[f_4,[f_4,f_3]];
[f_4,[f_4,[f_4,f_5]]];

[f_5,[f_5,f_4]];