ID: 24.0 Parent: 22.0 Tree
PDER
VAR\IND x6 x1^2*x6+x6*x2^2+x1^2+x2^2-
2*x6*x2-2*x2
x3
x1 x5*(2*x2+x3^2-1)-x7*(-x5*(
x2-1)+x6*x5)*((2*x1*x6+2*x
1)*x5*(2*x2+x3^2-1)+x1^2+x
2^2-2*x2)
x7*(-x5*(x2-1)+x6*x5) x5*(2*x2-2)*x3-x7*(-x5*(x2
-1)+x6*x5)*((2*x1*x6+2*x1)
*x5*(2*x2-2)*x3-(2*x6*x2+2
*x2-2*x6-2)*x3)
x2 -1/2*x7*((2*x1*x6+2*x1)*x5
*(2*x2+x3^2-1)+x1^2+x2^2-2
*x2)
1/2*x7 -x3-1/2*x7*((2*x1*x6+2*x1)
*x5*(2*x2-2)*x3-(2*x6*x2+2
*x2-2*x6-2)*x3)
x3 0 0 1
x5 -2*x5^3*(2*x2+x3^2-1)-x7*(
2*x5^3*(x2-1)-2*x6*x5^3)*(
(2*x1*x6+2*x1)*x5*(2*x2+x3
^2-1)+x1^2+x2^2-2*x2)
x7*(2*x5^3*(x2-1)-2*x6*x5^
3)
-2*x5^3*(2*x2-2)*x3-x7*(2*
x5^3*(x2-1)-2*x6*x5^3)*((2
*x1*x6+2*x1)*x5*(2*x2-2)*x
3-(2*x6*x2+2*x2-2*x6-2)*x3
)
x6 1 0 0
x7 -((2*x6+2)*(-x5*(x2-1)+x6*
x5)*x5*(2*x2+x3^2-1)-2*(2*
x1*x6+2*x1)*(-x2+1+x6)*x5^
3*(2*x2+x3^2-1)+2*x1*(-x5*
(x2-1)+x6*x5)+(2*x1*x6+2*x
1)*x5+x2-1)*x7^2+x7^3*((2*
x6+2)*(-x5*(x2-1)+x6*x5)^2
-1/2*(2*x1*x6+2*x1)*x5+1/2
*x6+1/2+(2*x1*x6+2*x1)*(-x
2+1+x6)*(2*x5^3*(x2-1)-2*x
6*x5^3))*((2*x1*x6+2*x1)*x
5*(2*x2+x3^2-1)+x1^2+x2^2-
2*x2)
-x7^3*((2*x6+2)*(-x5*(x2-1
)+x6*x5)^2-1/2*(2*x1*x6+2*
x1)*x5+1/2*x6+1/2+(2*x1*x6
+2*x1)*(-x2+1+x6)*(2*x5^3*
(x2-1)-2*x6*x5^3))
-((2*x6+2)*(-x5*(x2-1)+x6*
x5)*x5*(2*x2-2)*x3-(-(2*x1
*x6+2*x1)*x5+x6+1)*x3-2*(2
*x1*x6+2*x1)*(-x2+1+x6)*x5
^3*(2*x2-2)*x3)*x7^2+x7^3*
((2*x6+2)*(-x5*(x2-1)+x6*x
5)^2-1/2*(2*x1*x6+2*x1)*x5
+1/2*x6+1/2+(2*x1*x6+2*x1)
*(-x2+1+x6)*(2*x5^3*(x2-1)
-2*x6*x5^3))*((2*x1*x6+2*x
1)*x5*(2*x2-2)*x3-(2*x6*x2
+2*x2-2*x6-2)*x3)
FOCUS
(x1^2+x2^2+x3^2-1)*(x1^2+(x2-1)^2-1)
2*x6+1
DEP
2*x5*x1-1
x6*(2*x2+x3^2-1)-x1^2-x2^2+2*x2
x7*((2*x1*x6+2*x1)*(-x5*(x2-1)+x6*x5)+x6*x2+x2-x6-1)-1
MAP
x1 x1
x2 x2
x3 x3
IMAP
x1 x1
x2 x2
x3 x3
x5 1/2/x1
x6 (x1^2+x2^2-2*x2)/(2*x2+x3^2-1)
x7 (2*x2+x3^2-1)^2/(x1^4+2*x1^2*x2^2-2*x2*x1^2+x2^4-2*x2^3+x3^2*x1^2+x3^2*x2^2-2*x3
^2*x2-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