Question: testeq fails Alternative options?

Hi all,

which alternative options fo I have to prove the equality of two algebraic expressions if testeq fails?

The case im reffering to can be seen in the following document:

https://dl.dropboxusercontent.com/u/29147149/Exam%202006%20Question%20A.mw

Equation 14-18

I am pretty sure that the expressions are equal. evalb just returns false because it does not simplify expressions.

Please Wait...