ID: 49.0 Parent: 47.0 Tree
Covered by:
60.0
-x20+1
PDER
VAR\IND x15 x20 x8
x8 0 0 1
x15 1 0 0
x20 0 1 0
FOCUS
x15^10*x8^32*x20^4-x20^5*x15^10*x8^32
x15^3*x8^10*x20
x15*x8^4
x15*x8^3
x20*x15^2*x8^5
x20*x15^2*x8^4
x20*x15^2*x8^3
x20*x15*x8^3
x20*x15*x8^2
x20*x15*x8
x20*x15
x20
DEPempty
MAP
x1 x15^5*x8^16*x20^2
x2 x20*x15^2*x8^6
x3 x8^13*x20^2*x15^4
IMAP
x8 x3/x2^2
x15 x1/x3^4*x2^6
x20 x2/x1^2*x3^2
STACK
WBO (dim: 3)
J
-x20+1 1
c 1
Nempty
(E,a)
Ea
x20 2
x8 13
x15 4
C empty
TBO (dim: 3)
J
-x20+1 1
Nempty
E
x20
x8
x15
EM
x20
C empty
Covered by:
60.0
-x20+1
ID: 49.0 Parent: 47.0 Tree