ID: 229.0 Parent: 225.0 Tree
Blown up to:
230.0 231.0
x17 x16
PDER
VAR\IND x16 x14 x17
x14 0 1 0
x16 1 0 0
x17 0 0 1
FOCUS
x16^20*x14^42*x17^4-x14^41*x16^18*x17^5
x16^6*x14^12*x17
x16^3*x14^5
x14^2*x16
x14^3*x16^2
x14^5*x17*x16^2
x16*x14^3*x17
x14^2*x17
x14
x17*x14
x17
DEPempty
MAP
x1 x16^10*x14^21*x17^2
x2 x14^9*x16^4*x17
x3 x14^16*x16^7*x17^2
IMAP
x14 x2^6/x3^2/x1
x16 x1^2/x2^10*x3^3
x17 x3^6/x2^13*x1
STACK
WBO (dim: 3)
J
x16^2*x14-x17 1
c 1
Nempty
(E,a)
Ea
x17 2
x16 8
x14 18
C empty
TBO (dim: 3)
J
x16^2*x14-x17 1
Nempty
E
x17
x16
x14
EM
x17
C empty
SBO (dim: 3)
J
x16^2*x14-x17 1
Nempty
Hempty
E
x16
x14
C empty
WBO (dim: 2)
J
1 0
c 0
N
x17
(E,a)
Ea
x16 2
x14 1
C empty
Blown up to:
230.0 231.0
x17 x16
ID: 229.0 Parent: 225.0 Tree