Am I missing something here? Thanks for any help! SN
$\begingroup$
$\endgroup$
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
1
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]
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.
-
1$\begingroup$ It seems that the bug might be linked to
Simplify[f + g, Assumptions -> 0 <= z]not callingLoginternally contrarily to the other cases. My claim is based onDeleteDuplicates@ Cases[Trace[Simplify[f + g, Assumptions -> 0 <= z], TraceInternal -> True], _Log, All]and comparing withFullSimplifyand including0 <= z<= 1withSimplify$\endgroup$ Dec 4, 2022 at 13:41