-----maxima-bounces at math.utexas.edu wrote: -----
>Hmm.??I?don't?know?the?exact?calls?either.??But?I?think?I'll?use
>Richard's?suggestion?and?use?ratsimp(2*a1+1-c)?and?test?for?0.
An equality test that consults the fact database (can be slow, I suppose)
is (eq t (meqp a b))
(%i18) assume(equal(a,b))$
(%i17) is(equal(a,b));
1> (MEQP $A $B)
<1 (MEQP T)
(%o17) true
Barton