ID: 146.0 Parent: 139.0 Tree
Covered by:
151.0
-x16+1
PDER
VAR\IND x15 x16 x11
x11 0 0 1
x15 1 0 0
x16 0 1 0
FOCUS
x11^26*x15^12*x16^4-x15^12*x11^26*x16^5
x11^9*x15^4*x16
x11^5*x15^2
x15*x11^2
x16*x15*x11^2
x11
x16*x15*x11
x16*x15
x15
x16
DEPempty
MAP
x1 x11^13*x15^6*x16^2
x2 x16*x15^2*x11^4
x3 x11^11*x15^5*x16^2
IMAP
x11 x3^2/x2^2/x1
x15 x1^3/x3^5*x2^4
x16 x2/x1^2*x3^2
STACK
WBO (dim: 3)
J
-x16+1 1
c 1
Nempty
(E,a)
Ea
x16 2
x11 11
x15 5
C empty
TBO (dim: 3)
J
-x16+1 1
Nempty
E
x16
x11
x15
EM
x16
C empty
Covered by:
151.0
-x16+1
ID: 146.0 Parent: 139.0 Tree