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