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