ID: 26.0 Parent: 24.0 Tree
Blown up to:
46.0 47.0
x11 x10
PDER
VAR\IND x11 x10 x12
x10 0 1 0
x11 1 0 0
x12 0 0 1
FOCUS
x11^6*x10^18*x12^12-x10^24*x12^16*x11^4+x11^5*x10^21*x12^15
x10^3*x12^2
x11*x10^2*x12
x10^2*x12
x11*x10
x10
x11
DEPempty
MAP
x1 x11*x10^3*x12^2
x2 x12^4*x10^6*x11
x3 x12^3*x10^4*x11
IMAP
x10 x2/x3^2*x1
x11 x1^2/x2
x12 x3^3/x1^2/x2
STACK
WBO (dim: 3)
J
-x12^4*x10^6+x11*x12^3*x10^3+x11^2 2
c 2
Nempty
(E,a)
Ea
x11 3
x12 8
x10 12
C empty
TBO (dim: 3)
J
-x12^4*x10^6+x11*x12^3*x10^3+x11^2 2
Nempty
E
x11
x12
x10
EM
x11
C empty
SBO (dim: 3)
J
-x12^4*x10^6+x11*x12^3*x10^3+x11^2 2
Nempty
Hempty
E
x12
x10
C empty
WBO (dim: 2)
J
-1 0
x12 0
c 0
N
x11
(E,a)
Ea
x12 2
x10 3
C empty
Blown up to:
46.0 47.0
x11 x10
ID: 26.0 Parent: 24.0 Tree