Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

evaluating log(a/b) == log(a) - log(b)

Hi there, I have entered the following,

a = var('a', domain='real')
b = var('b', domain='real')
assume(a > 0)
assume(b > 0)
stmt = log(a / b) == log(a) - log(b)

but when I do bool(stmt) it says False. Why is this? Did I miss some condition?