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