Taylor series as lazy lists of coefficients.
newtype Taylor a
A Taylor series, with coefficients in the specified
By varying the base
Semiring, we can do various interesting things:
Number, we can compute arbitrary higher order derivatives of functions.
Complex, we can compute path derivatives of functions.
- Using the
Semiring, we can implement symbolic differentiation.