On 2013-09-13, Raymond Toy <toy.raymond at gmail.com> wrote:
> Or maybe we could expose the schatchen matcher that is used internally
> by maxima for the indefinite integration and special integration
> routines. I don't know if it's better or worse than the matcher we
> have now, though, but it can match things like a*x^r1*(c1+c2*x^q)^r2.
> Don't know if the current matcher can do that.
I think it would be interesting to expose Schatchen. If I'm not
mistaken its capabilities are somewhat different than tellsimp &
friends. Maybe tellsimp, etc could punt to Schatchen for some
expressions. I don't know enough about Schatchen to say for sure.
best
Robert Dodier