Hi,
First of all, I am new on this list -- thanks for your CAS system, I
use it a lot for my studies.
I have a couple of questions regarding maxima that I will ask in
separate threads to avoid confusion.
Is there a way of checking equivalence of two equalities in maxima. Eg:
a = 1 and a - 1 = 0 are equivalent.
Looking at the manual, equal() looks like a goo bet, however:
`is(equal(a=1, a-1=0)` is false.
It looks like equal() deals only with expressions and not equalities?
I could make the equalities of the form `0 = <expr>` and then perform
`equal(rhs(e), rhs(e2))` ?
Cheers
--
Best Regards
Edd Barrett
http://www.theunixzoo.co.uk