Advanced Search

Question: Why does 'is' command FAIL here?

Question:Why does 'is' command FAIL here?

afeddersen 449 Maple 14
explore
June 30 2010
1

I tried to find out whether the expression

 

g1:=2*mu*(phi+ln(mu/(exp(phi)*sigma2-sigma2+mu)))/((-sigma2+mu)*phi)+mu*(1/(exp(phi)*sigma2-sigma2+mu)-mu/(exp(phi)*sigma2-sigma2+mu)^2)*(exp(phi)*sigma2-sigma2+mu)/((-sigma2+mu)*phi)-mu^2*(phi+ln(mu/(exp(phi)*sigma2-sigma2+mu)))/((-sigma2+mu)^2*phi);

is positive under the given assumptions:

         
is(signum(g1)=1) assuming mu>0, sigma2>0, phi>0, sigma2<>mu;

 

Though I am able to verify this boolean test by using 'explore', the 'is' command yields FAIL and is obviously not able to determine whether g1 is positive under the given assumptions.

Why does 'is' FAIL here and what can I do to have Maple recognize the truth of such boolean tests?
Please Wait...