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?
Revision history [back]
 | 1 | initial version | |
