ID: 2.0 Parent: 1.0 Tree
Exchanged to:
5.0
1<->x1^2+x2^2-2*x2
PDER
VAR\IND x1 2*x2+x3^2-1 x3
x1 1 0 0
x2 0 1/2 -x3
x3 0 0 1
x5 -2*x5^2 0 0
FOCUS
(x1^2+x2^2+x3^2-1)*(x1^2+(x2-1)^2-1)
DEP
2*x5*x1-1
MAP
x1 x1
x2 x2
x3 x3
IMAP
x1 x1
x2 x2
x3 x3
x5 1/2/x1
STACK
WBO (dim: 3)
J
(x1^2+x2^2+x3^2-1)*(x1^2+(x2-1)^2-1) 2
c 2
Nempty
(E,a)empty
C empty
TBO (dim: 3)
J
(x1^2+x2^2+x3^2-1)*(x1^2+(x2-1)^2-1) 2
Nempty
Eempty
EMempty
C empty
SBO (dim: 3)
J
(x1^2+x2^2+x3^2-1)*(x1^2+(x2-1)^2-1) 2
Nempty
Hempty
Eempty
C empty
WBO (dim: 2)
J
x1^4+2*x1^2*x2^2+x2^4-4*x2*x1^2-4*x2^3+4*x2^2 2
2*x2*x1^2+2*x2^3-x1^2-5*x2^2+2*x2 1
c 1
N
2*x2+x3^2-1
(E,a)empty
C empty
TBO (dim: 2)
J
x1^4+2*x1^2*x2^2+x2^4-4*x2*x1^2-4*x2^3+4*x2^2 2
2*x2*x1^2+2*x2^3-x1^2-5*x2^2+2*x2 1
N
2*x2+x3^2-1
Eempty
EMempty
C empty
SBO (dim: 2)
J
x1^4+2*x1^2*x2^2+x2^4-4*x2*x1^2-4*x2^3+4*x2^2 2
2*x2*x1^2+2*x2^3-x1^2-5*x2^2+2*x2 1
N
2*x2+x3^2-1
Hempty
Eempty
C empty
Exchanged to:
5.0
1<->x1^2+x2^2-2*x2
ID: 2.0 Parent: 1.0 Tree