|
Generators: x_1 x_2 -y;
Relations:
[[[y,x_1],x_1],x_1];
[y,x_2];
[y,[[[y,x_1],x_1],y]];
[y,[[y,x_1],[y,x_1]]] - 2 [[y,[[y,x_1],y]],x_1];
[x_1,x_2] - [[y,[[y,[[y,x_1],y]],y]],y];
[x_1,[[y,x_1],y]] + [[y,x_1],[y,x_1]] + [[[y,x_1],x_1],y];
[x_1,[[y,x_1],[y,x_1]]] + [x_1,[[[y,x_1],x_1],y]];
[x_1,[[y,[[y,x_1],y]],y]] - 3 [[y,x_1],y] - [[[y,[[y,x_1],y]],x_1],y];
[ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet)
]
|
