ID: 73.0 Parent: 65.0 Tree
PDER
VAR\IND x13 x17 x18
x13 1 0 0
x17 0 1 0
x18 0 0 1
x19 -x18^2*x17*x19^2 -x18^2*x13*x19^2 -2*x18*x13*x17*x19^2
FOCUS
x13^28*x18^14*x17^18-x17^17*x13^27*x18^12
x13^9*x18^5*x17^6
x13^4*x18^3*x17^3
x13^3*x18^2*x17^2
x17^2*x13^4*x18
x17*x13^3
x17*x13^2
x18*x17
x17*x13
x17
x18^2*x13*x17
DEP
x19*(x18^2*x13*x17-1)-1
MAP
x1 x13^14*x18^7*x17^9
x2 x17^3*x13^5*x18^2
x3 x18^5*x17^7*x13^11
IMAP
x13 x1/x3^3*x2^4
x17 1/x2^7/x1^3*x3^7
x18 1/x3^3*x2*x1^2
x19 -x2*x3^2/(-x1^2+x2*x3^2)
STACK
WBO (dim: 3)
J
x18^2*x13*x17-1 0
c 0
Nempty
(E,a)
Ea
x18 5
x13 11
x17 7
C empty