ID: 28.0 Parent: 26.0 Tree
Blown up to:
29.0
x15^3*x6-1
PDER
VAR\IND x1 x15^3*x6-1 x14 x15
x1 1 0 0 0
x6 0 x16 0 -3*x16*x15^2*x6
x14 0 0 1 0
x15 0 0 0 1
x16 0 0 0 -3*x15^2*x16^2
FOCUS
x1^6*x6^11*x14^6*x15^3-x15^6*x14^6*x6^12*x1^6
x14^2*x6*x15
x14*x6
x14
DEP
x16*x15^3-1
MAP
x1 x1
x2 x6*x1
x3 x14^2*x6^3*x15*x1
x4 x15*x14*x6^2*x1
IMAP
x1 x1
x6 x2/x1
x14 x3/x4/x2*x1
x15 x4^2/x2/x3
x16 1/x4^6*x2^3*x3^3
STACK
WBO (dim: 4)
J
-x15^3*x6+1 1
c 1
Nempty
(E,a)
Ea
x1 5
x6 8
x14 4
C empty
TBO (dim: 4)
J
-x15^3*x6+1 1
Nempty
E
x1
x6
x14
EM
x1
x6
x14
C empty
SBO (dim: 4)
J
-x15^3*x6+1 1
Nempty
Hempty
Eempty
C empty
Blown up to:
29.0
x15^3*x6-1
ID: 28.0 Parent: 26.0 Tree