Quelle 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]];

Quelle std-c05.in Sprache: unbekannt

[ Dauer der Verarbeitung: 0.6 Sekunden (vorverarbeitet) ]