ID: 127.0 Parent: 126.0 Tree
Blown up to:
128.0 129.0
x17^2*x12-x16^2+x17 x16
PDER
VAR\IND x17^2*x12-x16^2+x17 x12 x3 x16
x3 0 0 1 0
x12 0 1 0 0
x15 -x18*x15^2*x12 -x17*x15^2+x18*x15^2
*x12*x17^2
0 -2*x18*x15^2*x12*x16
x16 0 0 0 1
x17 x18 -x17^2*x18 0 2*x18*x16
x18 -2*x18^3*x12 -2*x18^2*x17+2*x18^3
*x12*x17^2
0 -4*x18^3*x12*x16
FOCUS
x17^5*x12^14*x3^4+x17^6*x12^15*x3^4-x3^4*x16^2*x12^14*x17^4
x17^2*x12^5
x12^3*x17
x16*x12^4*x17
x17*x12^2
x16*x12^2
x16*x12
x17*x12
x17*x12
x16*x12
x16
DEP
x15*(x17*x12+1)-1
x18*(2*x17*x12+1)-1
MAP
x1 x17^2*x12^5*x3
x2 x12^3*x17*x3
x3 x3
x4 x16*x12^7*x17^2*x3
IMAP
x3 x3
x12 x2^2/x3/x1
x15 x2^3/(x1^2*x3+x2^3)
x16 x4/x2^4*x3^2*x1
x17 x1^3/x2^5*x3^2
x18 x2^3/(2*x1^2*x3+x2^3)
STACK
WBO (dim: 4)
J
x17^2*x12-x16^2+x17 1
c 1
Nempty
(E,a)
Ea
x3 3
x17 2
x12 7
C empty
TBO (dim: 4)
J
x17^2*x12-x16^2+x17 1
Nempty
E
x3
x17
x12
EM
x3
x17
x12
C empty
SBO (dim: 4)
J
x17^2*x12-x16^2+x17 1
x17 1
Nempty
Hempty
Eempty
C empty
WBO (dim: 3)
J
x17 2
c 2
N
x17^2*x12-x16^2+x17
(E,a)empty
C empty
TBO (dim: 3)
J
x17 2
N
x17^2*x12-x16^2+x17
Eempty
EMempty
C empty
SBO (dim: 3)
J
x17 2
N
x17^2*x12-x16^2+x17
Hempty
Eempty
C empty
Blown up to:
128.0 129.0
x17^2*x12-x16^2+x17 x16
ID: 127.0 Parent: 126.0 Tree