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