ID: 22.0 Parent: 7.0 Tree
Exchanged to:
24.0
2<->x1^2*x6+x6*x2^2+x1^2+x2^2-2*x6*x2-2*x2
PDER
VAR\IND x6 2*x2+x3^2-1 x3
x1 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*x5^3*(2*x2+x3^2-1) 2*x5^3*(x2-1)-2*x6*x5^3 -2*x5^3*(2*x2-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
-((2*x6+2)*(-x5*(x2-1)+x6*
x5)^2-1/2*(2*x1*x6+2*x1)*x
5+1/2*x6+1/2+(2*x1*x6+2*x1
)*(-x2+1+x6)*(2*x5^3*(x2-1
)-2*x6*x5^3))*x7^2
-((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
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 1
c 1
Nempty
(E,a)
Ea
2*x2+x3^2-1 1
C empty
TBO (dim: 3)
J
x6^2+x6 1
Nempty
E
2*x2+x3^2-1
EM
2*x2+x3^2-1
C empty
SBO (dim: 3)
J
x6^2+x6 1
Nempty
Hempty
Eempty
C empty
Exchanged to:
24.0
2<->x1^2*x6+x6*x2^2+x1^2+x2^2-2*x6*x2-2*x2
ID: 22.0 Parent: 7.0 Tree