ID: 104.0 Parent: 96.0 Tree
Covered by:
105.0
x21-1
PDER
VAR\IND x1 x17 x15 x21-1
x1 1 0 0 0
x15 0 0 1 0
x17 0 1 0 0
x21 0 0 0 1
FOCUS
x1^6*x17^30*x15^66*x21^11-x21^12*x15^66*x17^30*x1^6
x15^7*x17^3*x21
x17*x15
x15^2*x17
x21*x15^3*x17
x17
x21*x15^3
x21*x15^2
x21*x15
x21
DEPempty
MAP
x1 x1
x2 x17^3*x15^6*x21*x1
x3 x15^18*x17^8*x21^3*x1
x4 x21^2*x15^11*x17^5*x1
IMAP
x1 x1
x15 x3/x4/x2*x1
x17 x2^3/x1^2/x3
x21 1/x1/x3^3*x4^6/x2^2
STACK
WBO (dim: 4)
J
-x21+1 1
c 1
Nempty
(E,a)
Ea
x1 5
x21 5
x17 15
x15 30
C empty
TBO (dim: 4)
J
-x21+1 1
Nempty
E
x1
x21
x17
x15
EM
x1
x21
C empty
SBO (dim: 4)
J
-x21+1 1
Nempty
Hempty
E
x17
x15
C empty
Covered by:
105.0
x21-1
ID: 104.0 Parent: 96.0 Tree