Skip to main content
Mathematica

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

Required fields*

9
  • 1
    $\begingroup$ Note that the two versions of CE are not equivalent for all values of the variables: {mu0 < (mu1*mu3 (R1 - R3))/((-1 + R1) s0*eta), mu1*mu3 (-R1 + R3) + mu0*(-1 + R1) s0*eta < 0} /. {mu0 -> 1, mu1 -> 1, mu3 -> 1, R1 -> 3, R2 -> 2, R3 -> 1, s0 -> 1, eta -> -1} --> {False, True}. You might need to add appropriate assumptions. $\endgroup$ Commented Oct 1 at 10:25
  • 1
    $\begingroup$ @florin Can you write down the whole expression after assumed simplification? $\endgroup$ Commented Oct 1 at 10:31
  • 1
    $\begingroup$ @MichaelE2 Perhaps it is assumed s0 * eta > 0 then they would be equivalent I think. $\endgroup$ Commented Oct 1 at 10:49
  • 1
    $\begingroup$ @azerbajdzan I think they're still not equivalent unless some of the other conditions are assumed to be true. In other words, there remains some work to get from one form of CE to the other, and the extra conditions make it less likely that simplification will get it done. OTOH, there's this approach: R1 > 1 && FullSimplify[re, R1 > 1 && eta > 0 && s0 > 0]. One could include eta > 0 && s0 > 0 && outside FullSimplify[] to give a more accurate result. $\endgroup$ Commented Oct 1 at 11:28
  • 2
    $\begingroup$ If R1 - 1 is negative, they are not equivalent. R1 > 1 is a condition in one part of re and can be deduced in the other part of re -- that is the extra work I am talking about. Aside from any computational differences between a condition that may be True or False and an assumption that is taken to be True only, simplification mainly tries to eliminate complexity efficiently and probably does not pursue all possible deductions from the conditions in an expression. Assuming R1 > 1 to be True, allows FullSimplify[] to reduce complexity from the start and get things moving. $\endgroup$ Commented Oct 1 at 11:46