ID: 14.0 Parent: 9.0 Tree
Exchanged to:
16.0
3<->x6^2+x6
PDER
VAR\IND x1 2*x2+x3^2-1 x6
x1 1 0 0
x2 2*x5*x3*x1 1/2+x5*x3*(x2-1)-x6*x5*x3 -x5*x3*(2*x2+x3^2-1)
x3 -2*x5*x1 -x5*(x2-1)+x6*x5 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)
-x5^3*(2*x3^2-2*x2+2)*(2*x
2+x3^2-1)
x6 0 0 1
x7 0 0 -2*x7^2
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
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:
16.0
3<->x6^2+x6
ID: 14.0 Parent: 9.0 Tree