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