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