Quelle  skdv1.in   Sprache: unbekannt

Generators: x_1 x_2 x_3 -y;
Relations:

3 [[[y,x_1],x_2],x_1] + [[x_2,[y,x_2]],x_3] - 3 [y,x_1];
[[y,x_2],x_1];
[[x_2,[y,x_2]],[x_2,[y,x_2]]];
[[x_2,[y,x_2]],x_1];
[[x_2,[y,x_2]],x_2];
[y,x_3] + [[[y,x_1],x_1],x_1];
[x_1,[[x_2,[y,x_2]],y]];
[x_1,[y,y]] - 2 [x_1,x_2];
[x_2,x_3] - [x_1,[x_1,[x_1,x_2]]];
[[[x_2,[y,x_2]],y],x_3] - 3 [x_1,[x_2,[x_1,x_2]]] + 6 [x_1,x_2];

[[y,x_2],y];
[[x_2,[y,x_2]],[[x_2,[y,x_2]],y]];
[y,[[x_2,[y,x_2]],y]];
[y,[x_2,[x_1,x_2]]];
[x_1,x_3];
[x_2,[[x_2,[y,x_2]],y]];
[x_2,[x_2,[x_1,x_2]]];