taylor module: (C) 2001 Sebastian Ritterbusch

This module includes generic Taylor arithmetics for automatic
differentiation into Rascal. The constructor is 'taylor[...]'.
Refer to the user documentation for the mathematical definition of this
concept. You may use it for automatic differentiation as it also defines the
transpose operator on functions as a 'differentiator'.

   >f(x)=x^2;
   >f'
    2*(x)
   >f''(12)
    2