Sollya User's Manual

Name:

taylor computes a Taylor expansion of a function in a point

sollya_obj_t sollya_lib_taylor(sollya_obj_t, sollya_obj_t, sollya_obj_t)

taylor(function, degree, point) : (function, integer, constant) -> function

The command taylor returns an expression that is a Taylor expansion of function function in point point having the degree degree.

Let f be the function function, t be the point point and n be the degree degree. Then, taylor(function,degree,point) evaluates to an expression mathematically equal to f(t) + f'(t) * x + ... + 1/(n!) * f[n](t) * x^n. In other words, if p(x) denotes the polynomial returned by taylor, p(x-t) is the Taylor polynomial of degree n of f developped at point t.

Remark that taylor evaluates to 0 if the degree degree is negative.

> print(taylor(exp(x),3,1));
exp(1) + x * (exp(1) + x * (0.5 * exp(1) + x * exp(1) / 6))

> print(taylor(asin(x),7,0));
x * (1 + x^2 * (1 / 6 + x^2 * (3 / 40 + x^2 * 5 / 112)))

> print(taylor(erf(x),6,0));
x * (1 / sqrt((pi) / 4) + x^2 * ((sqrt((pi) / 4) * 4 / (pi) * (-2)) / 6 + x^2 * (sqrt((pi) / 4) * 4 / (pi) * 12) / 120))