ID: 190.0 Parent: 188.0 Tree
Covered by:
201.0
-x21+1
PDER
VAR\IND x16 x8 x21
x8 0 1 0
x16 1 0 0
x21 0 0 1
FOCUS
x16^10*x8^38*x21^4-x8^38*x21^5*x16^10
x21*x16^3*x8^11
x16*x8^4
x8
x16*x8^3
x21*x16^2*x8^6
x21*x16^2*x8^5
x21*x16^2*x8^4
x21*x16^2*x8^3
x21*x16*x8^3
x21*x16*x8^2
x21*x16*x8
x21*x16
x21
DEPempty
MAP
x1 x16^5*x8^19*x21^2
x2 x8^8*x21*x16^2
x3 x8^15*x21^2*x16^4
IMAP
x8 x2^2/x3
x16 x1/x2^8*x3^3
x21 x2/x1^2*x3^2
STACK
WBO (dim: 3)
J
-x21+1 1
c 1
Nempty
(E,a)
Ea
x21 2
x8 16
x16 4
C empty
TBO (dim: 3)
J
-x21+1 1
Nempty
E
x21
x8
x16
EM
x21
C empty
Covered by:
201.0
-x21+1
ID: 190.0 Parent: 188.0 Tree