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