ID: 52.0 Parent: 48.0 Tree
Blown up to:
58.0 59.0
x16 x17
PDER
VAR\IND x1 x12 x17 x16
x1 1 0 0 0
x12 0 1 0 0
x16 0 0 0 1
x17 0 0 1 0
FOCUS
x1^6*x12^33*x16^11*x17^3-x16^12*x12^30*x1^6
x17*x12^4*x16
x12
x17*x12^2
x16
DEPempty
MAP
x1 x1
x2 x12^3*x16*x1
x3 x17*x12^9*x16^3*x1
x4 x16^2*x12^5*x1
IMAP
x1 x1
x12 x2^2/x1/x4
x16 x4^3/x2^5*x1^2
x17 x3/x2^3*x1^2
STACK
WBO (dim: 4)
J
x17^3*x12^3-x16 1
c 1
Nempty
(E,a)
Ea
x1 5
x16 5
x12 15
C empty
TBO (dim: 4)
J
x17^3*x12^3-x16 1
Nempty
E
x1
x16
x12
EM
x1
x16
C empty
SBO (dim: 4)
J
x17^3*x12^3-x16 1
Nempty
Hempty
E
x12
C empty
WBO (dim: 3)
J
x17^3 3
c 3
N
x16
(E,a)
Ea
x12 3
C empty
TBO (dim: 3)
J
x17^3 3
N
x16
E
x12
EM
x12
C empty
SBO (dim: 3)
J
x17^3 3
N
x16
Hempty
Eempty
C empty
Blown up to:
58.0 59.0
x16 x17
ID: 52.0 Parent: 48.0 Tree