1 | initial version |

As you can see with its source code (by typing `log??`

), the `log`

function first tries to call the `.log`

method, which is different from symbolic expressions and for Sage integers, so there is no contradiction here.

What you are pointing here is the fact that when the symbolic ring is not able to prove something, it considers it as `False`

. Here, `False`

means `False or Unknown`

. I admit that such a trivial case should be dealt with.

As a workaround, you can help the symbolic ring to prove the equality by expanding the logs:

```
sage: print(bool((log(a)+log(b)==log(a*b)).simplify_log()))
True
```

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.