ID: 455.0 Parent: 445.0 Tree
Covered by:
456.0
x21-1
PDER
VAR\IND x15 x10 x8 x21-1
x8 0 0 1 0
x10 0 1 0 0
x15 1 0 0 0
x21 0 0 0 1
FOCUS
x10^21*x8^6*x15^12*x21^4-x15^12*x10^21*x8^6*x21^3
x8*x10^2*x15
x10*x8
x8
x15*x10^2
x10
x15^3*x10^3*x21
x15
x10^3*x21*x15^2
x10^2*x21*x15^2
x21*x10*x15^2
x21*x10*x15
x21*x10
x21
DEPempty
MAP
x1 x15^4*x10^7*x8^2*x21
x2 x10^6*x8^2*x15^3*x21
x3 x8^2*x15^3*x10^5*x21
x4 x15^3*x10^5*x21*x8
IMAP
x8 x3/x4
x10 x2/x3
x15 x1/x2^2*x3
x21 x4^2/x1^3*x3*x2
STACK
WBO (dim: 4)
J
x21-1 1
c 1
Nempty
(E,a)
Ea
x21 2
x8 4
x15 6
x10 11
C empty
TBO (dim: 4)
J
x21-1 1
Nempty
E
x21
x8
x15
x10
EM
x21
x8
C empty
SBO (dim: 4)
J
x21-1 1
Nempty
Hempty
E
x15
x10
C empty
Covered by:
456.0
x21-1
ID: 455.0 Parent: 445.0 Tree