ID: 441.0 Parent: 438.0 Tree
Covered by:
443.0
x10^2*x8-1
PDER
VAR\IND x10 x9 x8
x8 0 0 1
x9 0 1 0
x10 1 0 0
x11 0 -x11^2 0
FOCUS
x10^2*x8^8*x9^4-x9^4*x8^7
x9*x8^2*x10
x9*x8
x10*x8
x8
DEP
x11*x9-1
MAP
x1 x10*x8^4*x9^2
x2 x9^2*x8^3
x3 x8^2*x9
IMAP
x8 x3^2/x2
x9 x2^2/x3^3
x10 x1/x3^2
x11 x3^3/x2^2
STACK
WBO (dim: 3)
J
x10^2*x8-1 1
c 1
Nempty
(E,a)
Ea
x8 3
C empty
TBO (dim: 3)
J
x10^2*x8-1 1
Nempty
E
x8
EMempty
C empty
SBO (dim: 3)
J
x10^2*x8-1 1
Nempty
Hempty
E
x8
C empty
Covered by:
443.0
x10^2*x8-1
ID: 441.0 Parent: 438.0 Tree