ID: 37.0 Parent: 32.0 Tree
Blown up to:
61.0 62.0
x14 x13
PDER
VAR\IND x13 x14 x15
x13 1 0 0
x14 0 1 0
x15 0 0 1
FOCUS
x13^20*x15^14*x14^4-x14^5*x13^17*x15^12
x13^7*x15^5*x14
x13^4*x15^3
x13^3*x15^2
x14*x13^2*x15
x14*x13
x14
x15
DEPempty
MAP
x1 x13^10*x15^7*x14^2
x2 x14*x13^3*x15^2
x3 x15^5*x13^7*x14^2
IMAP
x13 x1/x3^3*x2^4
x14 x2/x1*x3
x15 x3^4/x2^6/x1
STACK
WBO (dim: 3)
J
x13^3*x15^2-x14 1
c 1
Nempty
(E,a)
Ea
x14 2
x15 5
x13 7
C empty
TBO (dim: 3)
J
x13^3*x15^2-x14 1
Nempty
E
x14
x15
x13
EM
x14
C empty
SBO (dim: 3)
J
x13^3*x15^2-x14 1
Nempty
Hempty
E
x15
x13
C empty
WBO (dim: 2)
J
1 0
c 0
N
x14
(E,a)
Ea
x15 2
x13 3
C empty
Blown up to:
61.0 62.0
x14 x13
ID: 37.0 Parent: 32.0 Tree