Revision history [back]

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?

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.