ID: 212.0 Parent: 202.0 Tree
PDER
VAR\IND x17 x16 x15
x15 0 0 1
x16 0 1 0
x17 1 0 0
x18 -3*x16^2*x15^2*x17^2*x18^2
-2*x17^3*x16*x15^2*x18^2 -2*x15*x17^3*x16^2*x18^2
FOCUS
x17^26*x15^30*x16^20-x16^18*x17^23*x15^28
x17^8*x15^9*x16^6
x17^4*x15^4*x16^3
x15*x16*x17
x15^3*x16^2*x17^3
x17^3*x15^4*x16^2
x16*x17^2*x15^3
x17*x15^2
x15
x16
3*x17^3*x16^2*x15^2
DEP
x18*(x17^3*x16^2*x15^2-1)-1
MAP
x1 x17^13*x15^15*x16^10
x2 x16^4*x17^5*x15^6
x3 x16^7*x17^9*x15^11
IMAP
x15 x3^2/x2/x1
x16 x2^8/x3^3/x1
x17 x1^2/x2^5
x18 -x2*x3^2/(-x1^2+x2*x3^2)
STACK
WBO (dim: 3)
J
x17^3*x16^2*x15^2-1 0
c 0
Nempty
(E,a)
Ea
x16 8
x17 10
x15 12
C empty