ID: 235.0 Parent: 233.0 Tree
Blown up to:
236.0
x18+4*x17
PDER
VAR\IND x16 x15 x18+4*x17 x4
x4 0 0 0 1
x8 ((3/2*x15^6*x18^4*x1
6^2-1/2*x16*x15^6*x1
8^4)*x15^2*x18-1/2*x
16*x15^8*x18^5)*x15*
x18+8*(-1/2*x15^8*x1
8^5*x16^2+x15*(-x15^
7*x18^5*x16^2+x15*x1
8*x16*(3/2*x15^6*x18
^4*x16^2-1/2*x16*x15
^6*x18^4))+x16*((3/2
*x15^6*x18^4*x16^2-1
/2*x16*x15^6*x18^4)*
x15^2*x18-1/2*x16*x1
5^8*x18^5))*x15*x16*
x17^2
(-x15^7*x18^5*x16^2+
x15*x18*x16*(3/2*x15
^6*x18^4*x16^2-1/2*x
16*x15^6*x18^4))*x15
*x18+x18*(-1/2*x15^8
*x18^5*x16^2+x15*(-x
15^7*x18^5*x16^2+x15
*x18*x16*(3/2*x15^6*
x18^4*x16^2-1/2*x16*
x15^6*x18^4))+x16*((
3/2*x15^6*x18^4*x16^
2-1/2*x16*x15^6*x18^
4)*x15^2*x18-1/2*x16
*x15^8*x18^5))
(-1/2*x15^8*x18^5*x1
6^2+x15*(-x15^7*x18^
5*x16^2+x15*x18*x16*
(3/2*x15^6*x18^4*x16
^2-1/2*x16*x15^6*x18
^4))+x16*((3/2*x15^6
*x18^4*x16^2-1/2*x16
*x15^6*x18^4)*x15^2*
x18-1/2*x16*x15^8*x1
8^5))*x15
0
x15 0 1 0 0
x16 1 0 0 0
x17 -2*x16*x17^2 0 0 0
x18 8*x16*x17^2 0 1 0
FOCUS
x15^18*x18^11*x16^4*x4^4+x15^9*x18^6*x16^3*x4^4*x8-x8^2*x4^4
x15^3*x18^2*x16
x15^5*x18^3*x16
x8
x16*x15^6*x18^4
x16*x15^4*x18^3
x15*x18*x16
x16*x15^2*x18^2
x15*x18
x15
x16
((3/2*x15^6*x18^4*x16^2-1/2*x16*x15^6*x18^4)*x15^2*x18-1/2*x16*x15^8*x18^5)*x15*
x18
-1/2*x15^8*x18^5*x16^2+x15*(-x15^7*x18^5*x16^2+x15*x18*x16*(3/2*x15^6*x18^4*x16^
2-1/2*x16*x15^6*x18^4))+x16*((3/2*x15^6*x18^4*x16^2-1/2*x16*x15^6*x18^4)*x15^2*x
18-1/2*x16*x15^8*x18^5)
2*x16
x15
DEP
x15^9*x18^6*x16^2-x15^9*x18^6*x16^3+2*x8
x17*(x16^2-1)-1
MAP
x1 x15^3*x18^2*x16*x4
x2 x15^5*x18^3*x16*x4
x3 x8*x4
x4 x4
IMAP
x4 x4
x8 x3/x4
x15 -x2^2/(2*x3*x4^2-x1^3)*x4
x16 -x1^3/(2*x3*x4^2-x1^3)
x17 -1/4*(2*x3*x4^2-x1^3)^2/x3/x4^2/(x3*x4^2-x1^3)
x18 (2*x3*x4^2-x1^3)^2/x4^2/x2^3/x1
STACK
WBO (dim: 4)
J
x18*x16^2-x18+4 1
c 1
Nempty
(E,a)
Ea
x4 3
x16 0
x18 1
x15 2
C empty
TBO (dim: 4)
J
x18*x16^2-x18+4 1
Nempty
E
x4
x16
x18
x15
EM
x4
x16
C empty
SBO (dim: 4)
J
x18*x16^2-x18+4 1
Nempty
Hempty
E
x18
x15
C empty
Blown up to:
236.0
x18+4*x17
ID: 235.0 Parent: 233.0 Tree