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