ID:
18.0
Parent:
16.0
Tree
PDER
VAR\IND
x1
2*x2+x3^2-1
x6^2+x6
x1
1
0
0
x2
2*x5*x3*x1
1/2+x5*x3*(x2-1)-x6*x5*x3
-x7*x5*x3*(2*x2+x3^2-1)
x3
-2*x5*x1
-x5*(x2-1)+x6*x5
x7*x5*(2*x2+x3^2-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)-x6*x5^3*(2*x3^2-
2*x2+2)
-x7*x5^3*(2*x3^2-2*x2+2)*(
2*x2+x3^2-1)
x6
0
0
x7
x7
0
0
-2*x7^3
FOCUS
(x1^2+x2^2+x3^2-1)*(x1^2+(x2-1)^2-1)
2*x1
DEP
-x5*(2*x2-2)*x3-1
x6*(2*x2+x3^2-1)-x1^2-x2^2+2*x2
x7*(2*x6+1)-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+2*x2^2+x3^2-2*x2-1)
STACK
WBO (dim: 3)
J
1
0
c
0
N
empty
(E,a)
E
a
2*x2+x3^2-1
1
x6^2+x6
0
C
empty