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