Antiderivative

[diluculo]

The Antiderivative module is not yet implemented in this product. I am not sure how easily the Risch algorithm or others can be added, but I think it may be a long way to go. So as a workaround, we can think about approximation theory.

Like the Taylor series, we can approximate functions with orthogonal polynomials such as Chebyshev's. In this way, we can easily get an indefinite integral of the function as in Matlab's ChebFun library.

I'd like to know what you think about this.

[diluculo]

This may be somewhere between Numerics and Symbolics, and I think the Approximation module is on the side of Numerics. So in the module, we can get numerical evaluation by fitting an expression to proper polynomial functions.