ID: 207.0 Parent: 204.0 Tree
Covered by:
209.0
x15^2*x10-x16^2*x10+4
PDER
VAR\IND x15 -x15^3*x8-x15^2*x16*
x8+x16^2*x15*x8+x16^
3*x8+8*x10^4*x16^2-3
2*x10^3
x16 x4
x4 0 0 0 1
x8 ((3/2*x15^2*x10^4-1/
2*x15*x10^4*x16)*x10
-1/2*x10^5*x15*x16)*
x10-x17*(-3/2*x16*x1
0^5*x15^2+x15*x10*(3
/2*x15^2*x10^4-1/2*x
15*x10^4*x16)+x15*((
3/2*x15^2*x10^4-1/2*
x15*x10^4*x16)*x10-1
/2*x10^5*x15*x16))*(
(-x15^3-x16*x15^2+x1
6^2*x15+x16^3)*((3/2
*x15^2*x10^4-1/2*x15
*x10^4*x16)*x10-1/2*
x10^5*x15*x16)*x10-3
*x15^2*x8-2*x15*x16*
x8+x16^2*x8)
x17*(-3/2*x16*x10^5*
x15^2+x15*x10*(3/2*x
15^2*x10^4-1/2*x15*x
10^4*x16)+x15*((3/2*
x15^2*x10^4-1/2*x15*
x10^4*x16)*x10-1/2*x
10^5*x15*x16))
-1/2*x10^6*x15^2-x17
*(-3/2*x16*x10^5*x15
^2+x15*x10*(3/2*x15^
2*x10^4-1/2*x15*x10^
4*x16)+x15*((3/2*x15
^2*x10^4-1/2*x15*x10
^4*x16)*x10-1/2*x10^
5*x15*x16))*(-1/2*(-
x15^3-x16*x15^2+x16^
2*x15+x16^3)*x10^6*x
15^2-x15^2*x8+2*x15*
x16*x8+3*x16^2*x8+16
*x10^4*x16)
0
x10 -x17*((-x15^3-x16*x1
5^2+x16^2*x15+x16^3)
*((3/2*x15^2*x10^4-1
/2*x15*x10^4*x16)*x1
0-1/2*x10^5*x15*x16)
*x10-3*x15^2*x8-2*x1
5*x16*x8+x16^2*x8)
x17 -x17*(-1/2*(-x15^3-x
16*x15^2+x16^2*x15+x
16^3)*x10^6*x15^2-x1
5^2*x8+2*x15*x16*x8+
3*x16^2*x8+16*x10^4*
x16)
0
x15 1 0 0 0
x16 0 0 1 0
x17 -((-3*x15^2-2*x16*x1
5+x16^2)*(-3/2*x16*x
10^5*x15^2+x15*x10*(
3/2*x15^2*x10^4-1/2*
x15*x10^4*x16)+x15*(
(3/2*x15^2*x10^4-1/2
*x15*x10^4*x16)*x10-
1/2*x10^5*x15*x16))+
(-x15^3-x16*x15^2+x1
6^2*x15+x16^3)*(-7/2
*x10^5*x15*x16+2*(3/
2*x15^2*x10^4-1/2*x1
5*x10^4*x16)*x10+x15
*x10*(3*x15*x10^4-1/
2*x10^4*x16)+x15*((3
*x15*x10^4-1/2*x10^4
*x16)*x10-1/2*x10^5*
x16)))*x17^2+x17^3*(
(-x15^3-x16*x15^2+x1
6^2*x15+x16^3)*(-15/
2*x15^2*x10^4*x16+x1
5*(3/2*x15^2*x10^4-1
/2*x15*x10^4*x16)+x1
5*x10*(6*x10^3*x15^2
-2*x15*x10^3*x16)+x1
5*((6*x10^3*x15^2-2*
x15*x10^3*x16)*x10+3
/2*x15^2*x10^4-3*x15
*x10^4*x16))+96*x10^
2*x16^2-192*x10)*((-
x15^3-x16*x15^2+x16^
2*x15+x16^3)*((3/2*x
15^2*x10^4-1/2*x15*x
10^4*x16)*x10-1/2*x1
0^5*x15*x16)*x10-3*x
15^2*x8-2*x15*x16*x8
+x16^2*x8)
-x17^3*((-x15^3-x16*
x15^2+x16^2*x15+x16^
3)*(-15/2*x15^2*x10^
4*x16+x15*(3/2*x15^2
*x10^4-1/2*x15*x10^4
*x16)+x15*x10*(6*x10
^3*x15^2-2*x15*x10^3
*x16)+x15*((6*x10^3*
x15^2-2*x15*x10^3*x1
6)*x10+3/2*x15^2*x10
^4-3*x15*x10^4*x16))
+96*x10^2*x16^2-192*
x10)
-((-x15^2+2*x16*x15+
3*x16^2)*(-3/2*x16*x
10^5*x15^2+x15*x10*(
3/2*x15^2*x10^4-1/2*
x15*x10^4*x16)+x15*(
(3/2*x15^2*x10^4-1/2
*x15*x10^4*x16)*x10-
1/2*x10^5*x15*x16))-
3*(-x15^3-x16*x15^2+
x16^2*x15+x16^3)*x10
^5*x15^2+64*x10^3*x1
6)*x17^2+x17^3*((-x1
5^3-x16*x15^2+x16^2*
x15+x16^3)*(-15/2*x1
5^2*x10^4*x16+x15*(3
/2*x15^2*x10^4-1/2*x
15*x10^4*x16)+x15*x1
0*(6*x10^3*x15^2-2*x
15*x10^3*x16)+x15*((
6*x10^3*x15^2-2*x15*
x10^3*x16)*x10+3/2*x
15^2*x10^4-3*x15*x10
^4*x16))+96*x10^2*x1
6^2-192*x10)*(-1/2*(
-x15^3-x16*x15^2+x16
^2*x15+x16^3)*x10^6*
x15^2-x15^2*x8+2*x15
*x16*x8+3*x16^2*x8+1
6*x10^4*x16)
0
FOCUS
x15^4*x10^11*x4^4+x15^3*x10^6*x4^4*x8-x8^2*x4^4
x15*x10^2
x15*x10^3
x8
x15*x10^4*x16
x15*x10^3*x16
x15*x10
x16*x15*x10^2
x16*x10
2*x15*x10
x15^2-x16^2
-2*x16*x10
DEP
x10^6*x15^2*x16-x15^3*x10^6+2*x8
x17*((-x15^3-x16*x15^2+x16^2*x15+x16^3)*(-3/2*x16*x10^5*x15^2+x15*x10*(3/2*x15^2
*x10^4-1/2*x15*x10^4*x16)+x15*((3/2*x15^2*x10^4-1/2*x15*x10^4*x16)*x10-1/2*x10^5
*x15*x16))+32*x10^3*x16^2-96*x10^2)-1
MAP
x1 x15*x10^2*x4
x2 x10^3*x15*x4
x3 x8*x4
x4 x4
IMAP
x4 x4
x8 x3/x4
x10 x2/x1
x15 x1^3/x2^2/x4
x16 -(2*x3*x4^2-x1^3)/x4/x2^2
x17 -1/16*x2^7*x4^2*x1^3/(3*x1^10*x3^2-6*x1^7*x3^3*x4^2+3*x1^4*x3^4*x4^4-8*x2^6*x3^2
*x4^4+8*x2^6*x3*x4^2*x1^3-2*x2^6*x1^6+6*x2^9*x4^2*x1)
STACK
WBO (dim: 4)
J
x15^2*x10-x16^2*x10+4 1
c 1
Nempty
(E,a)
Ea
x4 3
x15 0
C empty
TBO (dim: 4)
J
x15^2*x10-x16^2*x10+4 1
Nempty
E
x4
x15
EM
x4
x15
C empty
SBO (dim: 4)
J
x15^2*x10-x16^2*x10+4 1
Nempty
Hempty
Eempty
C empty
Covered by:
209.0
x15^2*x10-x16^2*x10+4
ID: 207.0 Parent: 204.0 Tree