ID: 341.0 Parent: 340.0 Tree
Covered by:
350.0 351.0
x21 -1+x21
PDER
VAR\IND x21 x20 x16
x16 0 0 1
x20 0 1 0
x21 1 0 0
FOCUS
x21^24*x20^26*x16^20-x21^23*x20^26*x16^20
x21^5*x20^5*x16^4
x21^4*x20^4*x16^3
x21^6*x20^7*x16^5
x21^3*x20^3*x16^2
x16^3*x21^4*x20^5
x21^3*x20^4*x16^2
x16^2*x20^3*x21^2
x16
x16^2*x20^2*x21
x16^2*x20
x16*x20
x20
DEPempty
MAP
x1 x21^12*x20^13*x16^10
x2 x16^6*x21^7*x20^8
x3 x16^7*x21^8*x20^9
IMAP
x16 x3^5/x2^4/x1
x20 x2^4/x1/x3^2
x21 x1^2/x3^2/x2
STACK
WBO (dim: 3)
J
-1+x21 1
c 1
Nempty
(E,a)
Ea
x21 9
x16 8
x20 10
C empty
TBO (dim: 3)
J
-1+x21 1
Nempty
E
x21
x16
x20
EMempty
C empty
SBO (dim: 3)
J
-1+x21 1
Nempty
Hempty
E
x21
x16
x20
C empty
Covered by:
350.0 351.0
x21 -1+x21
ID: 341.0 Parent: 340.0 Tree