ID: 0.0 Parent: tree Tree
Exchanged to:
1.0
2<->2*x2+x3^2-1
PDER
VAR\IND x1 x2 x3
x1 1 0 0
x2 0 1 0
x3 0 0 1
FOCUS
(x1^2+x2^2+x3^2-1)*(x1^2+(x2-1)^2-1)
DEPempty
MAP
x1 x1
x2 x2
x3 x3
IMAP
x1 x1
x2 x2
x3 x3
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
Exchanged to:
1.0
2<->2*x2+x3^2-1
ID: 0.0 Parent: tree Tree