Equivalences. Re: Checking equivilence of equalities

Hi,

On Feb 8, 2012, at 11:31 AM, Jaime Villate wrote:

> 
> In some sense in this second case you are also solving the equations and comparing them:
> 
> (%i1) solve(f+4=g+6, f);
> (%o1) [f = g + 2]
> (%i2) solve(f-2=g, f);
> (%o2) [f = g + 2]
> 
> And again, this second example worked because we were able to find the solution.

I agree. That's what I ended up doing for the LON-CAPA integration:

http://www.math.utexas.edu/pipermail/maxima/2012/027556.html

Works well,

- Gerd.