4
$\begingroup$

Am I missing something here? Thanks for any help! SN

enter image description here

$\endgroup$

1 Answer 1

4
$\begingroup$

This could be a bug. For now, you can use FullSimplify instead of Simplify

f = -z*Sqrt[-((-1 + z)*z)]
g = Sqrt[-((-1 + z)*z^3)]
Simplify[f + g, Assumptions -> 0 <= z <= 1]

Mathematica graphics

FullSimplify[f + g, Assumptions -> 0 <= z <= 1]

  (* 0 *)

And please post plain text code next time. Hard to copy all this from an image and could make mistake.

$\endgroup$
1
  • 1
    $\begingroup$ It seems that the bug might be linked to Simplify[f + g, Assumptions -> 0 <= z] not calling Log internally contrarily to the other cases. My claim is based on DeleteDuplicates@ Cases[Trace[Simplify[f + g, Assumptions -> 0 <= z], TraceInternal -> True], _Log, All] and comparing with FullSimplify and including 0 <= z<= 1 with Simplify $\endgroup$ Dec 4, 2022 at 13:41

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.