ID: 364.0 Parent: 348.0 Tree
Covered by:
365.0
x21-1
PDER
VAR\IND x15 x7 x10 x21-1
x7 0 1 0 0
x10 0 0 1 0
x15 1 0 0 0
x21 0 0 0 1
FOCUS
x7^6*x15^12*x10^21*x21^4-x15^12*x10^21*x7^6*x21^3
x7*x10^2*x15
x7
x10*x7
x15*x10^2
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*x7^2*x21
x2 x7^2*x15^3*x10^5*x21
x3 x10^6*x7^2*x15^3*x21
x4 x7*x15^3*x10^5*x21
IMAP
x7 x2/x4
x10 x3/x2
x15 x1/x3^2*x2
x21 x4^2/x1^3*x3*x2
STACK
WBO (dim: 4)
J
x21-1 1
c 1
Nempty
(E,a)
Ea
x21 2
x7 4
x15 6
x10 11
C empty
TBO (dim: 4)
J
x21-1 1
Nempty
E
x21
x7
x15
x10
EM
x21
x7
C empty
SBO (dim: 4)
J
x21-1 1
Nempty
Hempty
E
x15
x10
C empty
Covered by:
365.0
x21-1
ID: 364.0 Parent: 348.0 Tree