ID: 64.0 Parent: 62.0 Tree
Blown up to:
65.0 66.0
x17 x15
PDER
VAR\IND x13 x17 x15
x13 1 0 0
x15 0 0 1
x17 0 1 0
FOCUS
x13^28*x15^14*x17^4-x17^5*x13^27*x15^12
x13^9*x15^5*x17
x13^4*x15^3
x13^3*x15^2
x17*x13^4*x15
x17*x13^3
x17*x13^2
x15
x17*x13
x17
DEPempty
MAP
x1 x13^14*x15^7*x17^2
x2 x17*x13^5*x15^2
x3 x15^5*x13^11*x17^2
IMAP
x13 x1/x3^3*x2^4
x15 x3^4/x2^6/x1
x17 1/x2^7/x1^3*x3^7
STACK
WBO (dim: 3)
J
x15^2*x13-x17 1
c 1
Nempty
(E,a)
Ea
x17 2
x15 5
x13 11
C empty
TBO (dim: 3)
J
x15^2*x13-x17 1
Nempty
E
x17
x15
x13
EM
x17
C empty
SBO (dim: 3)
J
x15^2*x13-x17 1
Nempty
Hempty
E
x15
x13
C empty
WBO (dim: 2)
J
1 0
c 0
N
x17
(E,a)
Ea
x15 2
x13 1
C empty
Blown up to:
65.0 66.0
x17 x15
ID: 64.0 Parent: 62.0 Tree