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