This package provides an operator for the
n-th term of a recurrence and an operator for the coefficient of
x^n in a function specified by a functional equation.
- eltable?: F -> Boolean
eltable? rreturns whether the operator determines (most likely) the sequence completely.
- getEq: F -> F
getEq freturns the defining equation, if
frepresents the coefficient of an ADE or a recurrence.
- makeFEq: (BasicOperator, Symbol, Symbol, F, List F, Stream F) -> F
evalADE(f, x, n, eq, parameters, values)creates an expression that stands for the coefficient of
x^nin the Taylor expansion of
x) is given by the functional equation
eq. The argument values specifies the first few Taylor coefficients.
- makeRec: (BasicOperator, Symbol, F, List F, Stream F) -> F
makeRec(u, n, eq, parameters, values)creates an expression that stands for
n) is given by the equation
eq. The argument
parametershas to contain all variables (or kernels) that appear eventually in the stream of values. The argument values specifies the initial values of the recurrence
u(1), … For the moment we don
'tallow recursions that contain
uinside of another operator.
- values: () -> NonNegativeInteger
values()returns the number of initial values to display at most.