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 :
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:
Since the derivative is given, we can compute limit and series: