ID: 826.0 Parent: 823.0 Tree
Covered by:
827.0
x15-1
PDER
VAR\IND x9 x13 x3 x15-1
x3 0 0 1 0
x9 1 0 0 0
x13 0 1 0 0
x15 0 0 0 1
FOCUS
x9^6*x15^5*x13^12*x3^6-x15^6*x13^12*x9^6*x3^6
x9^2*x15*x13^2
x13^5*x9^2*x15^2
x9
x13^3*x15*x9
x13
x15*x13
x15
DEPempty
MAP
x1 x9^2*x15*x13^2*x3
x2 x15^2*x13^5*x9^2*x3
x3 x3
x4 x15*x13^2*x9*x3
IMAP
x3 x3
x9 x1/x4
x13 x3/x4^2*x2
x15 1/x1/x3^3*x4^6/x2^2
STACK
WBO (dim: 4)
J
-x15+1 1
c 1
Nempty
(E,a)
Ea
x3 5
x9 4
x15 3
x13 6
C empty
TBO (dim: 4)
J
-x15+1 1
Nempty
E
x3
x9
x15
x13
EM
x3
x9
x15
C empty
SBO (dim: 4)
J
-x15+1 1
Nempty
Hempty
E
x13
C empty
Covered by:
827.0
x15-1
ID: 826.0 Parent: 823.0 Tree