# 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?

Note that Sage only says

`True`

if it can prove it is true, otherwise returning`False`

.Yes, you know it, but

`sage`

needs some help:We really need a subpage to refer for this kind of bool-evaluation of symbolic equalities, it will be the hit.

So let us provide the help!

EDIT: Sorry, i'm afraid i was editing a comment of muxamilian...

@dan_fulea - do you have a Trac account? Then you could put something to add this to the doc.