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