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