Ask Your Question

muxamilian's profile - activity

2017-10-01 13:30:22 -0500 received badge  Scholar (source)
2017-09-12 08:23:08 -0500 asked a question Sage says equation isn't true while Mathematica says it is

I have the following equation, of which I know that it is true when sigma > 0 and mu > 0.

eq = mu + 0.5*log(2*pi*sigma^2*e) == log(sqrt(2)*sqrt(pi)*sigma*e^(mu + 0.5))

So I set the constraints assume(sigma > 0) and assume(mu > 0). When evaluating it with bool(eq), Sage says False while Mathematica says that the equation holds. What am I doing wrong?