现有形如：
的符号多项式，约束条件是0<rho<1,0<D+E<1,E>D且E>1/2，现欲确定该多项式在约束条件下大于0；
请教贴吧各路大神，有什么比较好的方法么？
附上多项式：
(-2*D^5*E*rho^3+2*D^4*E^2*rho^3+4*D^3*E^3*rho^3-4*D^2*E^4*rho^3-2*D*E^5*rho^3+2*E^6*rho^3+2*D^6*rho^2+D^5*rho^3-6*D^4*E^2*rho^2+D^4*E*rho^3-2*D^3*E^2*rho^3+6*D^2*E^4*rho^2-2*D^2*E^3*rho^3+D*E^4*rho^3-2*E^6*rho^2+E^5*rho^3-2*D^6*rho+2*D^5*E*rho-2*D^5*rho^2+4*D^4*E^2*rho-2*D^4*E*rho^2-D^4*rho^3-4*D^3*E^3*rho+4*D^3*E^2*rho^2+4*D^3*E*rho^3-2*D^2*E^4*rho+4*D^2*E^3*rho^2+2*D^2*E^2*rho^3+2*D*E^5*rho-2*D*E^4*rho^2-4*D*E^3*rho^3-2*E^5*rho^2-E^4*rho^3+D^5*rho+D^4*E*rho-2*D^3*E^2*rho-16*D^3*E*rho^2-2*D^3*rho^3-2*D^2*E^3*rho
+3
2*D^2*E^2*rho^2-6*D^2*E*rho^3+D*E^4*rho-32*D*E^3*rho^2-2*D*E^2*rho^3+E^5*rho+16*E^4*rho^2+2*E^3*rho^3+9*D^4*rho-20*D^3*E*rho+16*D^3*rho^2+14*D^2*E^2*rho-16*D^2*E*rho^2+3*D^2*rho^3+4*D*E^3*rho+24*D*E^2*rho^2+4*D*E*rho^3-7*E^4*rho-8*E^3*rho^2+E^2*rho^3-14*D^3*rho+22*D^2*E*rho-4*D^2*rho^2-22*D*E^2*rho-20*D*E*rho^2-D*rho^3+6*E^3*rho-E*rho^3+9*D^2*rho+6*D*rho^2+7*E^2*rho+6*E*rho^2-5*D*rho-5*E*rho-2*rho^2+2*rho)/(16*(D-E)^2*(D^3*rho-D^2*E*rho-D*E^2*rho+E^3*rho-D^3+D^2*E+D*E^2-E^3+2*D^2-4*D*E-D*rho+2*E^2-E*rho+D+E+2*rho))