ID: 7.0 Parent: 1.0 Tree
Covered by:
21.0
x9^2*x8^2+1
PDER
VAR\IND x1 x9 x10 x8
x1 1 0 0 0
x8 0 0 0 1
x9 0 1 0 0
x10 0 0 1 0
FOCUS
x1^4*x10*x8^2+x9^2*x8^4*x1^4*x10+x1^4*x9^2*x8^2
x9
x10
DEPempty
MAP
x1 x1
x2 x9*x8*x1
x3 x10*x8*x1
x4 x8*x1
IMAP
x1 x1
x8 x4/x1
x9 x2/x4
x10 x3/x4
STACK
WBO (dim: 4)
J
x9^2*x10*x8^2+x9^2+x10 1
c 1
Nempty
(E,a)
Ea
x1 3
x8 1
C empty
TBO (dim: 4)
J
x9^2*x10*x8^2+x9^2+x10 1
Nempty
E
x1
x8
EM
x1
x8
C empty
SBO (dim: 4)
J
x9^2*x10*x8^2+x9^2+x10 1
Nempty
Hempty
Eempty
C empty
Covered by:
21.0
x9^2*x8^2+1
ID: 7.0 Parent: 1.0 Tree