ID: 8.0 Parent: 7.0 Tree
PDER
VAR\IND x6*x7*x8^2*x1-1 x6 x7 x8
x1 x9 -x9*x7*x8^2*x1 -x9*x6*x8^2*x1 -2*x9*x6*x7*x8*x1
x6 0 1 0 0
x7 0 0 1 0
x8 0 0 0 1
x9 0 -x7*x8^2*x9^2 -x6*x8^2*x9^2 -2*x6*x7*x8*x9^2
FOCUS
x6*x1^4*x7*x8^2-x1^3
DEP
x9*x6*x7*x8^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/x2*x1^4/x3/x4^2
STACK
WBO (dim: 4)
J
1 0
c 0
Nempty
(E,a)
Ea
x1 2
x6*x7*x8^2*x1-1 0
C empty