ID: 421.0 Parent: 419.0 Tree
Blown up to:
422.0
-1+x17
PDER
VAR\IND -1+x17 x15 x12
x12 0 0 1
x15 0 1 0
x17 x18 0 0
x18 -x18^3 0 0
FOCUS
x17^12*x15^14*x12^36-x15^14*x12^36*x17^11
x17^3*x15^3*x12^8
x12^5*x17^2*x15^2
x15^3*x12^7*x17^2
x17*x15*x12^2
x12^2*x15
x12
x15*x12
x15
x17*x15
DEP
x18*x17-1
MAP
x1 x17^6*x15^7*x12^18
x2 x12^10*x17^3*x15^4
x3 x12^13*x17^4*x15^5
IMAP
x12 x3^3/x2^2/x1
x15 x2^6/x3^6*x1
x17 x1^2/x3^2/x2
x18 x2/x1^2*x3^2
STACK
WBO (dim: 3)
J
-1+x17 1
c 1
Nempty
(E,a)
Ea
x12 16
x15 6
C empty
TBO (dim: 3)
J
-1+x17 1
Nempty
E
x12
x15
EMempty
C empty
SBO (dim: 3)
J
-1+x17 1
Nempty
Hempty
E
x12
x15
C empty
Blown up to:
422.0
-1+x17
ID: 421.0 Parent: 419.0 Tree