ID: 458.0 Parent: 456.0 Tree
Blown up to:
459.0 460.0
x17 x6
PDER
VAR\IND x14 x6 x17
x6 0 1 0
x14 1 0 0
x17 0 0 1
FOCUS
x14^4*x6^20*x17^2-x6^19*x14^3*x17^3
x14*x6^4
x6
x14*x6^3
x14*x17*x6^5
x14*x17*x6^4
x14*x17*x6^3
x14*x17*x6^2
x17*x6^2
x17*x6
x17
DEPempty
MAP
x1 x14^2*x6^10*x17
x2 x6^7*x14*x17
x3 x14*x17*x6^6
IMAP
x6 x2/x3
x14 x1/x2^4*x3^3
x17 x3^4/x1/x2^2
STACK
WBO (dim: 3)
J
x14*x6-x17 1
c 1
Nempty
(E,a)
Ea
x17 1
x14 1
x6 7
C empty
TBO (dim: 3)
J
x14*x6-x17 1
Nempty
E
x17
x14
x6
EM
x17
C empty
SBO (dim: 3)
J
x14*x6-x17 1
Nempty
Hempty
E
x14
x6
C empty
WBO (dim: 2)
J
1 0
c 0
N
x17
(E,a)
Ea
x14 1
x6 1
C empty
Blown up to:
459.0 460.0
x17 x6
ID: 458.0 Parent: 456.0 Tree