ID: 96.0 Parent: 89.0 Tree
PDER
VAR\IND x17 x16 x13
x13 0 0 1
x16 0 1 0
x17 1 0 0
x18 -2*x17*x13*x16*x18^2 -x17^2*x13*x18^2 -x17^2*x16*x18^2
FOCUS
x17^14*x16^18*x13^30-x16^17*x13^29*x17^12
x17^5*x16^6*x13^10
x17^3*x16^3*x13^5
x13^3*x17^2*x16^2
x16^2*x13^3*x17
x16*x13^2
x13
x16*x13
x16
2*x17^2*x13*x16
DEP
x18*(x17^2*x13*x16-1)-1
MAP
x1 x17^7*x16^9*x13^15
x2 x16^3*x13^5*x17^2
x3 x13^12*x17^5*x16^7
IMAP
x13 x3^3/x2^4/x1
x16 x2^9/x3^5*x1
x17 1/x2^3*x1
x18 -x2*x3^2/(-x1^2+x2*x3^2)
STACK
WBO (dim: 3)
J
x17^2*x13*x16-1 0
c 0
Nempty
(E,a)
Ea
x17 5
x13 12
x16 7
C empty