ID: 342.0 Parent: 340.0 Tree
Covered by:
354.0
-x21+1
PDER
VAR\IND x14 x21 x16
x14 1 0 0
x16 0 0 1
x21 0 1 0
FOCUS
x14^26*x16^20*x21^2-x14^26*x16^20*x21^3
x14^5*x16^4
x14^4*x16^3
x14^7*x16^5*x21
x14^3*x16^2
x16^3*x14^5*x21
x14^4*x16^2*x21
x16^2*x21*x14^3
x16
x16^2*x21*x14^2
x16^2*x21*x14
x16*x21*x14
x21*x14
x21
DEPempty
MAP
x1 x14^13*x16^10*x21
x2 x16^6*x14^8*x21
x3 x16^7*x14^9*x21
IMAP
x14 x1/x3^4*x2^3
x16 x3^5/x2^4/x1
x21 x2/x1^2*x3^2
STACK
WBO (dim: 3)
J
-x21+1 1
c 1
Nempty
(E,a)
Ea
x21 1
x16 8
x14 10
C empty
TBO (dim: 3)
J
-x21+1 1
Nempty
E
x21
x16
x14
EM
x21
C empty
Covered by:
354.0
-x21+1
ID: 342.0 Parent: 340.0 Tree