Question: evalb verify trouble with Log(x) expressions

Hi, I'd like to use something to compare expressions, so I thought evalb or verify.

I'd like to evaluate things like the identity,

logb(y) = y ∙ logb(x)

However using either I get:

> verify(2*log(x), log(x^2));

> evalb(2*log(x) = log(x^2));

now I thought maybe conditions might be different but as none are specified they should be the same in any domain. 

Not sure what is wrong or which comand is more suitable.



Please Wait...