The ValuesAtPoint command returns formulas for the values of the function and its derivatives of the given order and at the given point in Point_opt. It also computes conditions for the analyticity of the function at the given point.

The input includes a difference operator

L := sum(a[i](x)* E^i,i=1..d);

and the point A. Specify the point 'Point'=p to compute the value f(x) and its derivatives at , and non-negative integer via the option Order_opt to specify the highest order of required derivatives of f(x) at  

The procedure returns 2 sets:

The set of conditions. f(x) is assumed to be analytic on some open set which contains a set . Elements of the set give the conditions of the analyticity of f(x) at . They are relations between the values of the function and, possibly several of its derivatives at the points into .

The set of formulas for computing ,...,. (f(x) must satisfy the conditions in the first set.) These formulas give the values of ,..., as linear combinations of f(x) and several of its derivatives in . For , we have one unique formula for .

Abramov, S.A., and van Hoeij, M. "Set of Poles of Solutions of Linear Difference Equations with Polynomial Coefficients." Computation Mathematics and Mathematical Physics. Vol. 43 No. 1. (2003): 57-62.