ID: 72.0 Parent: 67.0 Tree
PDER
VAR\IND x17 x18 x3 x15
x3 0 0 1 0
x15 0 0 0 1
x17 1 0 0 0
x18 0 1 0 0
x19 -x18*x19^2 -x17*x19^2 0 0
FOCUS
x17^9*x15^13*(x15*x18+1)^9*x18^4*x3^4+x17^9*x15^12*(x15*x18+1)^9*x18^3*x3^4-x3^4
*x15^12*(x15*x18+1)^10*x17^8*x18^2
x17^3*x15^4*(x15*x18+1)^3*x18
x15^3*x18*x17^2*(x15*x18+1)^2
x15^3*(x15*x18+1)^3*x17^2
x17*x15*(x15*x18+1)
x15^2*(x15*x18+1)^2*x17
x15*(x15*x18+1)
x15
x17*x15
x18
x17
DEP
x19*(x18*x17-1)-1
MAP
x1 x17^3*x15^4*(x15*x18+1)^3*x18*x3
x2 x15^3*x18*x17^2*(x15*x18+1)^2*x3
x3 x3
x4 x15^6*(x15*x18+1)^5*x17^4*x18*x3
IMAP
x3 x3
x15 x3*x4*x2/(x1^2*x3+x2^3)
x17 x1^3/x2^2/x4
x18 x2^2/x3^2/x1^2/x4*(x1^2*x3+x2^3)
x19 -x3^2*x4^2/(x3^2*x4^2-x1*x2^3-x1^3*x3)
STACK
WBO (dim: 4)
J
x18*x17-1 0
c 0
Nempty
(E,a)
Ea
x3 3
x18 1
x17 4
x15*x18+1 5
x15 6
C empty