Define an integration procedure: integration is linear, equals when a does not depend on .
>
|
|
We now define the integral of :
>
|
|
And now the integral for powers of :
>
|
|
An example with the keyword diff and the command diff :
We define the derivative of to be :
>
|
|
>
|
|
| (2.8) |
Define properties of a function which is linear, has a derivative of , and for which .
>
|
|
Check the derivative of :
Given that is linear:
Now Maple can compute the following integral using the fact that is linear and has derivative :
>
|
|
Even nested functions with can be integrated:
>
|
|
| (2.13) |
>
|
|
| (2.14) |
Since the derivative is given, we can compute limit and series:
>
|
|