Quelle  std-c04.in

Generators C_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: 16;

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

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

[h_4,e_1];
[h_4,e_2];
[h_4,e_3]+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];

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

[h_4,f_1];
[h_4,f_2];
[h_4,f_3]-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_4];

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

[e_4,[e_4,e_3]];


[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_4];

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

[f_4,[f_4,f_3]];