ID: 655.0 Parent: 648.0 Tree
Covered by:
656.0
x25-1
PDER
VAR\IND x20 x2 x21 x25-1
x2 0 1 0 0
x20 1 0 0 0
x21 0 0 1 0
x25 0 0 0 1
FOCUS
x20^42*x25^35*x21^108*x2^6-x25^36*x21^108*x20^42*x2^6
x20^6*x25^5*x21^15
x21^13*x20^5*x25^4
x20^5*x25^4*x21^12
x21^10*x20^4*x25^3
x20^4*x25^3*x21^9
x21^7*x20^3*x25^2
x20^3*x25^2*x21^6
x21^4*x25*x20^2
x20^2*x25*x21^3
x21*x20
x20
x21
x25*x21^2
x25*x21
x25
DEPempty
MAP
x1 x20^6*x25^5*x21^15*x2
x2 x2
x3 x21^31*x20^12*x25^10*x2
x4 x25^6*x21^18*x20^7*x2
IMAP
x2 x2
x20 x1^6/x2/x4^5
x21 x3/x1^2*x2
x25 1/x1/x3^3*x4^6/x2^2
STACK
WBO (dim: 4)
J
-x25+1 1
c 1
Nempty
(E,a)
Ea
x2 5
x25 25
x20 30
x21 75
C empty
TBO (dim: 4)
J
-x25+1 1
Nempty
E
x2
x25
x20
x21
EM
x2
x25
x20
C empty
SBO (dim: 4)
J
-x25+1 1
Nempty
Hempty
E
x21
C empty
Covered by:
656.0
x25-1
ID: 655.0 Parent: 648.0 Tree