ID: 109 Parent: 108 Tree
PDER
VAR\RSOP x(15) x(11) x(14)
x(11) 0 1 0
x(12) -x(11)*x(12)^2 -x(12)^2*x(15) 0
x(13) x(11)*x(12)^2*x(13)^2 x(12)^2*x(13)^2*x(15) 0
x(14) 0 0 1
x(15) 1 0 0
DEP
x(11)*x(15)-x(13)+1
x(12)*x(13)-1
MAP
x(1)x(11)^8*x(12)^4*x(14)^7
x(2)x(11)^7*x(12)^3*x(14)^6
x(3)x(11)^2*x(12)*x(14)^2
IMAP
x(12)(x(1)^2)/(x(2)^2*x(3))
x(11)(x(2))/(x(3)^3)
x(13)(x(2)^2*x(3))/(x(1)^2)
x(15)(x(2)^2*x(3)^4+x(1)^2*x(3)^3)/(x(1)^2*x(2))
x(14)(x(3)^4)/(x(1))
FOCUS
x(11)^16*x(12)^8*x(14)^14-x(11)^16*x(12)^7*x(14)^14
x(11)^6*x(12)^3*x(14)^5
x(11)^4*x(12)^2*x(14)^3
x(11)*x(12)*x(14)
x(11)*x(14)
x(11)^2*x(14)
TAGS
1,0,0
STACK
WBO (dim: 3)
W 
J
-x(12)*x(15)1
c1
E,a
x(14)6
x(11)7
TBO (dim: 3)
W 
J
-x(12)*x(15)1
E
x(14)
x(11)
EM 
SBO (dim: 3)
W 
J
-x(12)*x(15)1
E
x(14)
x(11)
ID: 109 Parent: 108 Tree