ID: 76 Parent: 61 Tree
PDER
VAR\RSOP x(11) x(8) x(10)
x(8) 0 1 0
x(10) 0 0 1
x(11) 1 0 0
x(12) -2*x(8)^2*x(10)*x(11)*x(12)^2 -2*x(8)*x(10)*x(11)^2*x(12)^2 -x(8)^2*x(11)^2*x(12)^2
DEP
x(8)^2*x(10)*x(11)^2*x(12)-x(12)-1
MAP
x(1)x(8)^6*x(10)^4*x(11)
x(2)x(8)^3*x(10)^2
x(3)x(8)^4*x(10)^3
IMAP
x(8)(x(2)^3)/(x(3)^2)
x(11)(x(1))/(x(2)^2)
x(10)(x(3)^3)/(x(2)^4)
x(12)(x(2)^2*x(3))/(x(2)^2*x(3)+x(1)^2)
FOCUS
x(8)^12*x(10)^8*x(11)^2-x(8)^10*x(10)^7
x(8)^3*x(10)^2*x(11)
x(8)*x(10)
x(8)^2*x(10)*x(11)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
x(8)^2*x(10)*x(11)^2-10
c0
E,a
x(10)3
x(8)4