[Maxima] Simplification problem
Tue Sep 5 16:03:43 CDT 2006
> Try logcontract(log(a)-log(b)) --> log(a/b)
Unfortunately, logcontract uses (why?) ratsimp, so you get such messes as
logcontract ( log((x+1)^5) - log(x) ) =>
Of course, you can simplify again using scanmap(factor,%,bottomup),
but in more complicated cases this doesn't help, e.g.
logcontract ( log((x+1)^5 + 1) - log(x) )
If you look at Hugemann's original problem, what it is really looking
for is a fancier version of factorsum, which with some massaging gets
the expression down to:
I am cleaning up the solution, and will probably send it out tomorrow.
More information about the Maxima