[Maxima] patterns for integration
marik at mendelu.cz
Tue Mar 25 05:12:09 CDT 2008
Richard, thank you for the answer.
Richard Fateman wrote:
> If you want the program to just flounder around for a while trying all
> possible ways of matching something, don't expect it to be efficient or even
Yes, I know that this is not efficient. But Im trying to do at least
something. And I hope that I find also some more efficient way.
Would be learning from integration routines of Maxima useful to get
better method for my purposes? Or must I study topics on symbolic
integration to solve this problem?
What I wish is to write function or something, which gives hints
concerning suitable method for integration, like the function hint in
Maple. We should cover at least basic formulas and typical integration
by parts (seems to be easy - but, as you said, expensive for
calculations, the first attempt is already on
further we plan to cover basic substitutions x=a*tan(t), x=a*sin(t),
x=a*cos(t), cos(x)=t, sin(x)=t, cos(x)=t, tan(x)=t, ax+b=t^2 and
Ostrogradskii method for polynomial/sqrt(quadratic polynomial). And this
should cover basic course in calculus on technical university.
I tried to put trace command to changevar and evaluate integral in
Maxima to see, if changevar is used when integrating in Maxima but (as I
supposed) without any success.
> You seem to want some kind of unification program, rather than matching, and
> that is extremely expensive to run.
More information about the Maxima