ID: 112.0 Parent: 110.0 Tree
Covered by:
118.0
-x18+1
PDER
VAR\IND x11 x18 x15
x11 1 0 0
x15 0 0 1
x18 0 1 0
FOCUS
x11^34*x15^12*x18^4-x18^5*x11^34*x15^12
x11^11*x15^4*x18
x11^5*x15^2
x11^3*x15
x18*x11^4*x15
x18*x11^3*x15
x15*x11
x18*x11^2*x15
x15
x18*x11^2
x18*x11
x18
DEPempty
MAP
x1 x11^17*x15^6*x18^2
x2 x18*x11^6*x15^2
x3 x15^5*x11^14*x18^2
IMAP
x11 x1/x3^2*x2^2
x15 x3^5/x2^6/x1^2
x18 x2/x1^2*x3^2
STACK
WBO (dim: 3)
J
-x18+1 1
c 1
Nempty
(E,a)
Ea
x18 2
x15 5
x11 14
C empty
TBO (dim: 3)
J
-x18+1 1
Nempty
E
x18
x15
x11
EM
x18
C empty
Covered by:
118.0
-x18+1
ID: 112.0 Parent: 110.0 Tree