ID: 410.0 Parent: 392.0 Tree
Covered by:
416.0
1-x15
PDER
VAR\IND x14 x15 x16
x14 1 0 0
x15 0 1 0
x16 0 0 1
FOCUS
x14^36*x16^22*x15^2-x14^36*x15^3*x16^22
x14^8*x16^5
x16^3*x14^5
x15*x16^4*x14^7
x14^2*x16
x16*x14^2*x15
x16*x14
x14*x15
x15
DEPempty
MAP
x1 x14^18*x16^11*x15
x2 x16^6*x14^10*x15
x3 x16^8*x14^13*x15
IMAP
x14 x1^2/x3^5*x2^3
x15 x2/x1^2*x3^2
x16 x3^8/x2^5/x1^3
STACK
WBO (dim: 3)
J
1-x15 1
c 1
Nempty
(E,a)
Ea
x15 1
x16 10
x14 16
C empty
TBO (dim: 3)
J
1-x15 1
Nempty
E
x15
x16
x14
EM
x15
C empty
Covered by:
416.0
1-x15
ID: 410.0 Parent: 392.0 Tree