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