Checking equivilence of equalities



On Wed, Feb 08, 2012 at 06:01:31AM -0500, Stavros Macrakis wrote:
> Could you give some examples of non-trivial situations where this
> functionality is useful?  That might help in thinking about approaches.
> Your current example is easily handled with 'solve' but of course that
> won't work when Maxima can't solve the equations.

I am writing regression tests for a maxima program that I have written.
I will first decide test case inputs and then by hand determine the
output I expect.

When the tests are run, the actual result (as determined by my program(
needs to be compared for equivilence to the expected result.

Given that there are many ways to express the same equality, I either
need to convert the equality into a canonical form and test for
syntactic equality, or have maxima do this for me.

I hope that explains this OK.

-- 
Best Regards
Edd Barrett

http://www.theunixzoo.co.uk