ID: 41.0 Parent: 39.0 Tree
PDER
VAR\IND x16 x14 x8
x8 0 0 1
x14 0 1 0
x16 1 0 0
x17 -2*x16*x14*x8^3*x17^2 -x16^2*x8^3*x17^2 -3*x16^2*x8^2*x14*x17^2
FOCUS
x16^2*x14^6*x8^20-x14^5*x8^17
x16*x14^2*x8^7
x16*x14*x8^4
x16*x14*x8^3
x14*x8^2
x14*x8
x14
2*x16*x14*x8^3
DEP
x17*(x16^2*x8^3*x14-1)-1
MAP
x1 x16*x14^3*x8^10
x2 x14*x8^3
x3 x8^7*x14^2
IMAP
x8 x3/x2^2
x14 x2^7/x3^3
x16 x1/x3/x2
x17 -x2*x3^2/(-x1^2+x2*x3^2)
STACK
WBO (dim: 3)
J
x16^2*x8^3*x14-1 0
c 0
Nempty
(E,a)
Ea
x8 7
x14 2
C empty