ID: 36.0 Parent: 30.0 Tree
Exchanged to:
37.0
2<->x7^6*x2^7-x7*x8+x2
PDER
VAR\IND x7 x2 x8
x2 0 1 0
x7 1 0 0
x8 0 0 1
x9 -42*x7^5*x2^6*x9^2 -42*x7^6*x2^5*x9^2 0
FOCUS
x7^6*x2^12+x2^6-x7*x2^5*x8
x7*x2
x7
x8
6*x7^5*x2^7-x8
DEP
x9*(7*x7^6*x2^6+1)-1
MAP
x1 x7*x2^2
x2 x2
x3 x8*x2^2
IMAP
x2 x2
x7 x1/x2^2
x8 x3/x2^2
x9 x2^6/(7*x1^6+x2^6)
STACK
WBO (dim: 3)
J
x7^6*x2^7-x7*x8+x2 1
c 1
Nempty
(E,a)
Ea
x2 3
C empty
TBO (dim: 3)
J
x7^6*x2^7-x7*x8+x2 1
Nempty
E
x2
EM
x2
C empty
SBO (dim: 3)
J
x7^6*x2^7-x7*x8+x2 1
Nempty
Hempty
Eempty
C empty
Exchanged to:
37.0
2<->x7^6*x2^7-x7*x8+x2
ID: 36.0 Parent: 30.0 Tree