Quelle std-a02.in Sprache: unbekannt

Generators A_2:

e_1 e_2
f_1 f_2
h_1 h_2;

Weights:

1   1
1   1
1   1;

Limiting weight: 6;

Relations, N = 17:

[h_1,h_2];

[e_1,f_1]-h_1;
[e_2,f_2]-h_2;

[e_1,f_2];

[e_2,f_1];

[h_1,e_1]-2 e_1;
[h_1,e_2]+e_2;

[h_2,e_1]+e_1;
[h_2,e_2]-2 e_2;

[h_1,f_1]+2 f_1;
[h_1,f_2]-f_2;

[h_2,f_1]-f_1;
[h_2,f_2]+2 f_2;

[e_1,[e_1,e_2]];

[e_2,[e_2,e_1]];

[f_1,[f_1,f_2]];

[f_2,[f_2,f_1]];

Quelle std-a02.in Sprache: unbekannt

[ Dauer der Verarbeitung: 0.18 Sekunden (vorverarbeitet) ]