ID: 18.0 Parent: 16.0 Tree
Covered by:
19.0
x8^2*x2-1
PDER
VAR\IND x8 x8^2*x2-1 x6
x2 -2*x9*x8*x2 x9 0
x6 0 0 1
x8 1 0 0
x9 -2*x8*x9^2 0 0
FOCUS
x8^2*x2^4*x6^2-x2^3*x6^2
x8*x2*x6
x8*x2
2*x8*x2
DEP
x9*x8^2-1
MAP
x1 x8*x2^2*x6
x2 x2
x3 x6*x2
IMAP
x2 x2
x6 x3/x2
x8 x1/x3/x2
x9 1/x1^2*x3^2*x2^2
STACK
WBO (dim: 3)
J
x8^2*x2-1 1
c 1
Nempty
(E,a)
Ea
x6 1
x2 1
C empty
TBO (dim: 3)
J
x8^2*x2-1 1
Nempty
E
x6
x2
EM
x6
C empty
SBO (dim: 3)
J
x8^2*x2-1 1
Nempty
Hempty
E
x2
C empty
Covered by:
19.0
x8^2*x2-1
ID: 18.0 Parent: 16.0 Tree