ID: 4.0 Parent: 1.0 Tree
Exchanged to:
8.0
1<->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^3*x6^3*x1^2+2*x5-2
*x6)*x7^2
-(12*x5^2*x6^3*x1^3+2*x1)*
x7^2
-(12*x5^3*x6^2*x1^3-2*x1)*
x7^2
FOCUS
x1^2-x5^3*x1^6*x6^3+x1^4*x6-x1^4*x5
DEP
x7*(4*x5^3*x6^3*x1^3+2*x5*x1-2*x6*x1)-1
MAP
x1 x1
x2 x5*x1
x3 x6*x1
IMAP
x1 x1
x5 x2/x1
x6 x3/x1
x7 1/2*x1^3/(2*x2^3*x3^3+x1^3*x2-x1^3*x3)
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:
8.0
1<->x5^3*x6^3*x1^4+x5*x1^2-x6*x1^2-1
ID: 4.0 Parent: 1.0 Tree