-//////////
-// Inert differentiation
-//////////
-
-static ex Diff_eval(const ex & f, const ex & x)
-{
- return Diff(f, x).hold();
-}
-
-static ex Diff_deriv(const ex & f, const ex & x, unsigned deriv_param)
-{
- GINAC_ASSERT(deriv_param == 0 || deriv_param == 1);
- if (deriv_param == 1)
- return Diff(Diff(f, x), x);
- else
- return _ex0();
-}
-
-REGISTER_FUNCTION(Diff, eval_func(Diff_eval).
- derivative_func(Diff_deriv));
-