ID: 10.0 Parent: 6.0 Tree
Exchanged to:
19.0
2<->1+x6
PDER
VAR\IND x1 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
FOCUS
(x1^2+x2^2+x3^2-1)*(x1^2+(x2-1)^2-1)
2*x1
x6
DEP
-x5*(2*x2-2)*x3-1
x6*(x1^2+x2^2-2*x2)-2*x2-x3^2+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)
STACK
WBO (dim: 3)
J
1+x6 1
c 1
Nempty
(E,a)
Ea
x1^2+x2^2-2*x2 1
C empty
TBO (dim: 3)
J
1+x6 1
Nempty
E
x1^2+x2^2-2*x2
EM
x1^2+x2^2-2*x2
C empty
SBO (dim: 3)
J
1+x6 1
Nempty
Hempty
Eempty
C empty
Exchanged to:
19.0
2<->1+x6
ID: 10.0 Parent: 6.0 Tree