ID: 544.0 Parent: 542.0 Tree
Blown up to:
547.0 548.0
x14 x15
PDER
VAR\IND x15 x14 x9
x9 0 0 1
x12 -x9*x12^2 0 -x12^2*x15
x13 x12^2*x13^2*x9 0 x15*x12^2*x13^2
x14 0 1 0
x15 1 0 0
FOCUS
x9^18*x12^8*x14^4-x14^4*x9^18*x12^7
x12^2*x9^4*x14
x14*x9^3*x12
x12*x9
x9^2*x12
x9
x14*x9^2
x14*x9
x12-1
x9
x14
DEP
x13*x12-1
x15*x9-x13+1
MAP
x1 x9^9*x12^4*x14^2
x2 x14^2*x9^8*x12^3
x3 x9^5*x12^2*x14
IMAP
x9 x3^2/x1
x12 x1^2/x3^2/x2
x13 x2/x1^2*x3^2
x14 x2^2/x3^5*x1
x15 (-x1^2+x2*x3^2)/x1/x3^2
STACK
WBO (dim: 3)
J
-x15*x12 1
c 1
Nempty
(E,a)
Ea
x14 2
x9 8
C empty
TBO (dim: 3)
J
-x15*x12 1
Nempty
E
x14
x9
EM
x14
C empty
SBO (dim: 3)
J
-x15*x12 1
Nempty
Hempty
E
x9
C empty
WBO (dim: 2)
J
-x15*x12 1
c 1
N
x14
(E,a)
Ea
x9 0
C empty
TBO (dim: 2)
J
-x15*x12 1
N
x14
E
x9
EMempty
C empty
SBO (dim: 2)
J
-x15*x12 1
N
x14
Hempty
E
x9
C empty
Blown up to:
547.0 548.0
x14 x15
ID: 544.0 Parent: 542.0 Tree