ID: 413.0 Parent: 409.0 Tree
PDER
VAR\IND x15 x13 x16
x13 0 1 0
x15 1 0 0
x16 0 0 1
x17 -x17^2 0 0
FOCUS
x15^12*x13^36*x16^22-x13^36*x16^22*x15^11
x15^3*x13^8*x16^5
x16^3*x13^5*x15^2
x13^7*x16^4*x15^2
x13^2*x15*x16
x16*x13^2
x16*x13
x13
x15
DEP
x17*(-1+x15)-1
MAP
x1 x15^6*x13^18*x16^11
x2 x16^6*x13^10*x15^3
x3 x16^8*x13^13*x15^4
IMAP
x13 x2^4/x3^3
x15 x1^2/x3^2/x2
x16 x3^6/x2^6/x1
x17 -x2*x3^2/(-x1^2+x2*x3^2)
STACK
WBO (dim: 3)
J
-1+x15 0
c 0
Nempty
(E,a)
Ea
x15 5
x16 10
x13 16
C empty