ID: 58.0 Parent: 57.0 Tree
PDER
VAR\IND x11 x15-1 x7 x10
x7 0 0 1 0
x10 0 0 0 1
x11 1 0 0 0
x15 0 1 0 0
x16 0 -x16^2 0 0
FOCUS
x15^4*x11^12*x10^6*x7^3-x11^12*x10^6*x7^3*x15^3
x11*x10*x7
x11*x10
x11
x15*x11^3
x15*x11^2
x15*x11
x15
x15
x11
DEP
x16*(x15-1)-1
MAP
x1 x11^4*x10^2*x7*x15
x2 x15*x11^3*x10
x3 x7*x15*x11^3*x10
x4 x10^2*x7*x15*x11^3
IMAP
x7 x3/x2
x10 x4/x3
x11 x1/x4
x15 x4^2/x1^3*x3*x2
x16 x1^3/(x2*x3*x4^2-x1^3)
STACK
WBO (dim: 4)
J
x15-1 0
c 0
Nempty
(E,a)
Ea
x15 2
x7 2
x10 4
x11 6
C empty