|
Generators: x_1 x_2 x_3 x_4 x_5 x_6 -y_1 -y_2 -y_3 -y_4 -y_5 -y_6;
Relations:
[y_1,x_1] - y_3;
[y_3,x_1] - y_4;
[y_1,x_3] - y_5;
[y_5,x_1] - y_6;
[y_1,x_6] - y_2;
[y_3,y_1] - x_3;
[y_4,y_1] - x_4;
[y_3,y_3] - x_5;
[y_5,y_1] - x_6;
[y_4,x_1];
[y_1,x_2];
[y_1,x_4];
[y_1,x_5] - 2 y_6;
[x_1,x_2] - [y_2,y_1];
[x_1,x_3] + x_5 + x_4;
[x_1,x_5] + [x_1,x_4];
[x_1,x_6] - [y_6,y_1] - 3 x_3;
[ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet)
]
|
