ID: 88.0 Parent: 84.0 Tree
Blown up to:
89.0 90.0
x16 x15
PDER
VAR\IND x15 x16 x13
x13 0 0 1
x15 1 0 0
x16 0 1 0
FOCUS
x15^14*x13^30*x16^4-x16^5*x13^29*x15^12
x15^5*x13^10*x16
x15^3*x13^5
x13^3*x15^2
x16*x13^3*x15
x16*x13^2
x13
x16*x13
x16
DEPempty
MAP
x1 x15^7*x13^15*x16^2
x2 x16*x13^5*x15^2
x3 x13^12*x15^5*x16^2
IMAP
x13 x3^3/x2^4/x1
x15 x1^2/x3^5*x2^6
x16 x2^9/x3^5*x1
STACK
WBO (dim: 3)
J
x15^2*x13-x16 1
c 1
Nempty
(E,a)
Ea
x16 2
x15 5
x13 12
C empty
TBO (dim: 3)
J
x15^2*x13-x16 1
Nempty
E
x16
x15
x13
EM
x16
C empty
SBO (dim: 3)
J
x15^2*x13-x16 1
Nempty
Hempty
E
x15
x13
C empty
WBO (dim: 2)
J
1 0
c 0
N
x16
(E,a)
Ea
x15 2
x13 1
C empty
Blown up to:
89.0 90.0
x16 x15
ID: 88.0 Parent: 84.0 Tree