ID: 345.0 Parent: 337.0 Tree
PDER
VAR\IND x14 x18 x19
x14 1 0 0
x18 0 1 0
x19 0 0 1
x20 -x18*x19^2*x20^2 -x19^2*x14*x20^2 -2*x19*x18*x14*x20^2
FOCUS
x14^24*x19^16*x18^18-x14^23*x18^17*x19^14
x14^5*x19^4*x18^4
x14^4*x19^3*x18^3
x14^6*x18^4*x19^3
x14^3*x19^2*x18^2
x19*x18^2*x14^4
x14^3*x18
x18*x14^2
x19*x18
x18*x14
x18
x19^2*x14*x18
DEP
x20*(x19^2*x14*x18-1)-1
MAP
x1 x14^12*x19^8*x18^9
x2 x19^4*x18^5*x14^7
x3 x19^5*x18^6*x14^8
IMAP
x14 x1/x3^4*x2^3
x18 1/x2^4/x1^3*x3^8
x19 1/x3^3*x1^2
x20 -x2*x3^2/(-x1^2+x2*x3^2)
STACK
WBO (dim: 3)
J
x19^2*x14*x18-1 0
c 0
Nempty
(E,a)
Ea
x19 6
x14 9
x18 7
C empty