ID: 25.0 Parent: 23.0 Tree
PDER
VAR\IND x6^2+x6 2*x2+x3^2-1 x3
x1 x7*x5*(2*x2+x3^2-1) -x5*(x2-1)+x6*x5 x5*(2*x2-2)*x3
x2 0 1/2 -x3
x3 0 0 1
x5 -2*x7*x5^3*(2*x2+x3^2-1) 2*x5^3*(x2-1)-2*x6*x5^3 -2*x5^3*(2*x2-2)*x3
x6 x7 0 0
x7 -2*x7^3 0 0
FOCUS
(x1^2+x2^2+x3^2-1)*(x1^2+(x2-1)^2-1)
DEP
2*x5*x1-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/x1
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
Nempty
(E,a)
Ea
2*x2+x3^2-1 1
x6^2+x6 0
C empty