Robert Marik wrote:
> 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.
This is because the integration routines don't call changevar directly.
The routines do use substitution, but it's more "direct" and
bypasses changevar.
If you want an overview of maxima's integration algorithms, I would
recommend reading Joel Mose's thesis on indefinite integration and Paul
Wang's thesis on definite integration. Both of these are available
online from MIT.
http://www.lcs.mit.edu/publications/pubs/pdf/MIT-LCS-TR-047.pdfhttp://www.lcs.mit.edu/publications/pubs/pdf/MIT-LCS-TR-092.pdf
Ray