ID: 156.0 Parent: 104.0 Tree
Covered by:
160.0
6*x9^5*x3^5*x8^4+1
PDER
VAR\IND x9 x8 x3
x3 0 0 1
x8 0 1 0
x9 1 0 0
FOCUS
x9^6*x8^6*x3^12-x8^4*x3^8+x9*x8^2*x3^7
x8*x3
x9*x8*x3
x9*x8
x8
x9
DEPempty
MAP
x1 x9*x8*x3^2
x2 x8*x3^2
x3 x3
IMAP
x3 x3
x8 x2/x3^2
x9 x1/x2
STACK
WBO (dim: 3)
J
x9^6*x3^5*x8^4-x8^2*x3+x9 1
c 1
Nempty
(E,a)
Ea
x3 5
x8 1
C empty
TBO (dim: 3)
J
x9^6*x3^5*x8^4-x8^2*x3+x9 1
Nempty
E
x3
x8
EM
x3
x8
C empty
SBO (dim: 3)
J
x9^6*x3^5*x8^4-x8^2*x3+x9 1
Nempty
Hempty
Eempty
C empty
Covered by:
160.0
6*x9^5*x3^5*x8^4+1
ID: 156.0 Parent: 104.0 Tree