ID: 48.0 Parent: 46.0 Tree
Covered by:
54.0
2*x6*x9^3*x3^4-x9^3*x3^4+1
PDER
VAR\IND x9 x6 x3
x3 0 0 1
x6 0 1 0
x9 1 0 0
FOCUS
x9^2*x3^6*x6^2-x6^3*x3^6+x9^3*x3^10*x6^3-x9^3*x3^10*x6^4
x9*x3^2*x6
x6
x9*x3^2
x9*x3
x9
DEPempty
MAP
x1 x9*x3^3*x6
x2 x6*x3
x3 x3
IMAP
x3 x3
x6 x2/x3
x9 x1/x3^2/x2
STACK
WBO (dim: 3)
J
-x6^2*x9^3*x3^4+x6*x9^3*x3^4+x9^2-x6 1
c 1
Nempty
(E,a)
Ea
x6 1
x3 3
C empty
TBO (dim: 3)
J
-x6^2*x9^3*x3^4+x6*x9^3*x3^4+x9^2-x6 1
Nempty
E
x6
x3
EM
x6
x3
C empty
SBO (dim: 3)
J
-x6^2*x9^3*x3^4+x6*x9^3*x3^4+x9^2-x6 1
Nempty
Hempty
Eempty
C empty
Covered by:
54.0
2*x6*x9^3*x3^4-x9^3*x3^4+1
ID: 48.0 Parent: 46.0 Tree