Simplification problem

Hello,

> There are obviously possible simplifications to the
> Maxima output, 
> applying Binomic formulas and applying
> log(a) - log(b) = log(a/b)
> 
> but I cannot convince Maxima to apply this simple
> rules :-(

One day Mr. Fateman taught me a trick, that in your
case should look like:

matchdeclare([a,b],true);

defrule(h,log(a) - log(b),log(a/b));

apply1([expression], h);

I didn't try it on your code.
Actually I think, like you, that the Maxima
Simplifier should try to apply this kind of rules
automatically...

I remember these discussions about symbolic
manipulation:

http://www.nabble.com/Problems-with-tellsimp-tf2104429.html
http://www.nabble.com/A-pattern-hard-to-recognize--tf2050337.html
http://www.nabble.com/simplification-based-on-assumptions-tf2033745.html
http://www.nabble.com/factorials-and-binomials-simplification---nusum-less-verbose-tf1925502.html

but I'm member of this list since not a long time.
Hope to help.

Best regards,
Giovanni Gherdovich

__________________________________________________
Do You Yahoo!?
Poco spazio e tanto spam? Yahoo! Mail ti protegge dallo spam e ti da tanto spazio gratuito per i tuoi file e i messaggi 
http://mail.yahoo.it