|
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]];
[ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
]
|
