ID: 703.0 Parent: 700.0 Tree
Covered by:
704.0
x16-1
PDER
VAR\IND x9 x2 x16-1 x14
x2 0 1 0 0
x9 1 0 0 0
x14 0 0 0 1
x16 0 0 1 0
FOCUS
x9^12*x14^18*x16^7*x2^6-x14^18*x9^12*x16^6*x2^6
x9^3*x14^3*x16
x9
x16*x14^2*x9
x14^3*x9*x16
x14*x9
x14
x16*x14
x16
DEPempty
MAP
x1 x9^3*x14^3*x16*x2
x2 x2
x3 x16^2*x14^5*x9^3*x2
x4 x14^3*x9^2*x16*x2
IMAP
x2 x2
x9 x1/x4
x14 1/x3/x1*x4^3/x2
x16 x3^3/x4^6*x2^2*x1
STACK
WBO (dim: 4)
J
x16-1 1
c 1
Nempty
(E,a)
Ea
x2 5
x16 4
x9 8
x14 11
C empty
TBO (dim: 4)
J
x16-1 1
Nempty
E
x2
x16
x9
x14
EM
x2
x16
x9
C empty
SBO (dim: 4)
J
x16-1 1
Nempty
Hempty
E
x14
C empty
Covered by:
704.0
x16-1
ID: 703.0 Parent: 700.0 Tree