Advanced Search

Question: evalb verify trouble with Log(x) expressions

Question:evalb verify trouble with Log(x) expressions

one pound 25 Maple
assumptions log verify
February 04 2018
0

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(x y) = y ∙ logb(x)

However using either I get:

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

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

                             false
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...