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