Quelle std-d06.in Sprache: unbekannt

Generators D_6, roots numeration 1-2-3-4-5
                                       |
                                       6  :
e_1 e_2 e_3 e_4 e_5 e_6
f_1 f_2 f_3 f_4 f_5 f_6
h_1 h_2 h_3 h_4 h_5 h_6;

Weights:

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

Limiting weight: 20;

Relations, N = 163:

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

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

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

[h_4,h_5];
[h_4,h_6];

[h_5,h_6];

[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_6,f_6]-h_6;

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

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

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

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

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

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

[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_1,e_6];

[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_2,e_6];

[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_3,e_6];

[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]+e_5;
[h_4,e_6]+e_6;

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

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

[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_1,f_6];

[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_2,f_6];

[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_3,f_6];

[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]-f_5;
[h_4,f_6]-f_6;

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

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

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

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

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

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

[e_5,[e_5,e_4]];
[e_5,e_6];

[e_6,[e_6,e_4]];

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

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

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

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

[f_5,[f_5,f_4]];
[f_5,f_6];

[f_6,[f_6,f_4]];

Quelle std-d06.in Sprache: unbekannt

[ Dauer der Verarbeitung: 0.3 Sekunden (vorverarbeitet) ]