ID: 14.0 Parent: 11.0 Tree
PDER
VAR\IND x1 x7 x8
x1 1 0 0
x7 0 1 0
x8 0 0 1
x9 -(3*x7*x8^3*x1^2-2*x7^4*x1
)*x9^2
-(x8^3*x1^3-4*x7^3*x1^2)*x
9^2
-3*x7*x8^2*x1^3*x9^2
FOCUS
x1^6-x7^4*x1^8+x1^9*x7*x8^3
x7*x1
3*x7*x8^3*x1^2-2*x7^4*x1
x8^3*x1^3-4*x7^3*x1^2
3*x7*x8^2*x1^3
DEP
x9*(x7*x8^3*x1^3-x7^4*x1^2+1)-1
MAP
x1 x1
x2 x7*x1^2
x3 x8*x1^2
IMAP
x1 x1
x7 x2/x1^2
x8 x3/x1^2
x9 x1^6/(x1^6-x2^4+x1*x2*x3^3)
STACK
WBO (dim: 3)
J
x7*x8^3*x1^3-x7^4*x1^2+1 0
c 0
Nempty
(E,a)
Ea
x1 4
C empty