ID: 30.0 Parent: 23.0 Tree
Blown up to:
31.0 32.0
x11 x8
PDER
VAR\IND x11 x8 x10
x8 0 1 0
x10 0 0 1
x11 1 0 0
FOCUS
x11^6*x8^18*x10^6-x8^20*x10^8*x11^4+x11^5*x8^20*x10^9
x8^2*x10
x11*x8^2
x8
x11*x8
x11
DEPempty
MAP
x1 x11*x8^3*x10
x2 x10^2*x8^5*x11
x3 x10^2*x8^4*x11
IMAP
x8 x2/x3
x10 x3^2/x1/x2
x11 x1^2/x2^2*x3
STACK
WBO (dim: 3)
J
x10^3*x11*x8^2-x10^2*x8^2+x11^2 2
c 2
Nempty
(E,a)
Ea
x11 3
x10 4
x8 12
C empty
TBO (dim: 3)
J
x10^3*x11*x8^2-x10^2*x8^2+x11^2 2
Nempty
E
x11
x10
x8
EM
x11
C empty
SBO (dim: 3)
J
x10^3*x11*x8^2-x10^2*x8^2+x11^2 2
Nempty
Hempty
E
x10
x8
C empty
WBO (dim: 2)
J
-1 0
x10^2*x8 0
c 0
N
x11
(E,a)
Ea
x10 1
x8 1
C empty
Blown up to:
31.0 32.0
x11 x8
ID: 30.0 Parent: 23.0 Tree