Revision history [back]

Log rules do workfor symbolic values ; they just aren't autimatically applied :

sage: var("a, b")
(a, b)
sage: bool(log(a*b)==log(a)+log(b))
False
sage: bool((log(a*b)==log(a)+log(b)).log_expand())
True

HTH,