ID: 17.0 Parent: 15.0 Tree
PDER
VAR\IND x1 x1^2*x6+x6*x2^2+x1^2+x2^2-
2*x6*x2-2*x2 		x6
x1 1 0 0
x2 2*x5*x3*x1-x7*(1/2+x5*x3*(
x2-1)-x6*x5*x3)*(2*x1*x6+2
*x1+2*(2*x6*x2+2*x2-2*x6-2
)*x5*x3*x1) 		x7*(1/2+x5*x3*(x2-1)-x6*x5
*x3) 		-x5*x3*(2*x2+x3^2-1)-x7*(1
/2+x5*x3*(x2-1)-x6*x5*x3)*
(-(2*x6*x2+2*x2-2*x6-2)*x5
*x3*(2*x2+x3^2-1)+x1^2+x2^
2-2*x2)
x3 -2*x5*x1-x7*(-x5*(x2-1)+x6
*x5)*(2*x1*x6+2*x1+2*(2*x6
*x2+2*x2-2*x6-2)*x5*x3*x1)
x7*(-x5*(x2-1)+x6*x5) x5*(2*x2+x3^2-1)-x7*(-x5*(
x2-1)+x6*x5)*(-(2*x6*x2+2*
x2-2*x6-2)*x5*x3*(2*x2+x3^
2-1)+x1^2+x2^2-2*x2)
x5 2*x5^3*(2*x3^2-2*x2+2)*x1-
x7*(x3*x5^2+x5^3*(2*x3^2-2
*x2+2)*(x2-1)-x6*x5^3*(2*x
3^2-2*x2+2))*(2*x1*x6+2*x1
+2*(2*x6*x2+2*x2-2*x6-2)*x
5*x3*x1) 		x7*(x3*x5^2+x5^3*(2*x3^2-2
*x2+2)*(x2-1)-x6*x5^3*(2*x
3^2-2*x2+2)) 		-x5^3*(2*x3^2-2*x2+2)*(2*x
2+x3^2-1)-x7*(x3*x5^2+x5^3
*(2*x3^2-2*x2+2)*(x2-1)-x6
*x5^3*(2*x3^2-2*x2+2))*(-(
2*x6*x2+2*x2-2*x6-2)*x5*x3
*(2*x2+x3^2-1)+x1^2+x2^2-2
*x2)
x6 0 0 1
x7 -(2*((2*x6+2)*(1/2+x5*x3*(
x2-1)-x6*x5*x3)+(2*x6*x2+2
*x2-2*x6-2)*x5*x3)*x5*x3*x
1-2*(2*x6*x2+2*x2-2*x6-2)*
(x5*(x2-1)-x6*x5)*x5*x1+2*
(2*x6*x2+2*x2-2*x6-2)*(x3*
(x2-1)-x3*x6)*x5^3*(2*x3^2
-2*x2+2)*x1)*x7^2+x7^3*(((
2*x6+2)*(1/2+x5*x3*(x2-1)-
x6*x5*x3)+(2*x6*x2+2*x2-2*
x6-2)*x5*x3)*(1/2+x5*x3*(x
2-1)-x6*x5*x3)+(2*x6*x2+2*
x2-2*x6-2)*(x5*(x2-1)-x6*x
5)*(-x5*(x2-1)+x6*x5)+(2*x
6*x2+2*x2-2*x6-2)*(x3*(x2-
1)-x3*x6)*(x3*x5^2+x5^3*(2
*x3^2-2*x2+2)*(x2-1)-x6*x5
^3*(2*x3^2-2*x2+2)))*(2*x1
*x6+2*x1+2*(2*x6*x2+2*x2-2
*x6-2)*x5*x3*x1) 		-x7^3*(((2*x6+2)*(1/2+x5*x
3*(x2-1)-x6*x5*x3)+(2*x6*x
2+2*x2-2*x6-2)*x5*x3)*(1/2
+x5*x3*(x2-1)-x6*x5*x3)+(2
*x6*x2+2*x2-2*x6-2)*(x5*(x
2-1)-x6*x5)*(-x5*(x2-1)+x6
*x5)+(2*x6*x2+2*x2-2*x6-2)
*(x3*(x2-1)-x3*x6)*(x3*x5^
2+x5^3*(2*x3^2-2*x2+2)*(x2
-1)-x6*x5^3*(2*x3^2-2*x2+2
))) 		-(-((2*x6+2)*(1/2+x5*x3*(x
2-1)-x6*x5*x3)+(2*x6*x2+2*
x2-2*x6-2)*x5*x3)*x5*x3*(2
*x2+x3^2-1)+(2*x6*x2+2*x2-
2*x6-2)*(x5*(x2-1)-x6*x5)*
x5*(2*x2+x3^2-1)-(2*x6*x2+
2*x2-2*x6-2)*(x3*(x2-1)-x3
*x6)*x5^3*(2*x3^2-2*x2+2)*
(2*x2+x3^2-1)+(2*x2-2)*(1/
2+x5*x3*(x2-1)-x6*x5*x3)-(
2*x6*x2+2*x2-2*x6-2)*x5*x3
)*x7^2+x7^3*(((2*x6+2)*(1/
2+x5*x3*(x2-1)-x6*x5*x3)+(
2*x6*x2+2*x2-2*x6-2)*x5*x3
)*(1/2+x5*x3*(x2-1)-x6*x5*
x3)+(2*x6*x2+2*x2-2*x6-2)*
(x5*(x2-1)-x6*x5)*(-x5*(x2
-1)+x6*x5)+(2*x6*x2+2*x2-2
*x6-2)*(x3*(x2-1)-x3*x6)*(
x3*x5^2+x5^3*(2*x3^2-2*x2+
2)*(x2-1)-x6*x5^3*(2*x3^2-
2*x2+2)))*(-(2*x6*x2+2*x2-
2*x6-2)*x5*x3*(2*x2+x3^2-1
)+x1^2+x2^2-2*x2)
FOCUS
(x1^2+x2^2+x3^2-1)*(x1^2+(x2-1)^2-1)
2*x1
2*x6+1
DEP
-x5*(2*x2-2)*x3-1
x6*(2*x2+x3^2-1)-x1^2-x2^2+2*x2
x7*(2*x6*x2+2*x2-2*x6-2)*(1/2+x5*x3*(x2-1)-x6*x5*x3)-1
MAP
x1 x1
x2 x2
x3 x3
IMAP
x1 x1
x2 x2
x3 x3
x5 -1/2/x3/(x2-1)
x6 (x1^2+x2^2-2*x2)/(2*x2+x3^2-1)
x7 (2*x2+x3^2-1)^2/(x1^2+x2^2+x3^2-1)/(x1^2+x2^2-2*x2)
STACK
WBO (dim: 3)
J
x6^2+x6 0
c 0
Nempty
(E,a)
Ea
2*x2+x3^2-1 1
C empty