ID: 13.0 Parent: 3.0 Tree
Exchanged to:
14.0
3<->x5^2*x3+x6^2*x3-x5*x6+x3
PDER
VAR\IND x5 x6 x3
x3 0 0 1
x5 1 0 0
x6 0 1 0
x7 -2*x5*x7^2 -2*x6*x7^2 0
FOCUS
x3^3*x5^2+x3^3*x6^2+x3^3-x3^2*x5*x6
x5
x6
2*x5*x3-x6
2*x6*x3-x5
DEP
x7*(x5^2+x6^2+1)-1
MAP
x1 x5*x3
x2 x6*x3
x3 x3
IMAP
x3 x3
x5 x1/x3
x6 x2/x3
x7 x3^2/(x2^2+x3^2+x1^2)
STACK
WBO (dim: 3)
J
x5^2*x3+x6^2*x3-x5*x6+x3 1
c 1
Nempty
(E,a)
Ea
x3 1
C empty
TBO (dim: 3)
J
x5^2*x3+x6^2*x3-x5*x6+x3 1
Nempty
E
x3
EM
x3
C empty
SBO (dim: 3)
J
x5^2*x3+x6^2*x3-x5*x6+x3 1
Nempty
Hempty
Eempty
C empty
Exchanged to:
14.0
3<->x5^2*x3+x6^2*x3-x5*x6+x3
ID: 13.0 Parent: 3.0 Tree