next up previous contents index
Next: Conditions Up: LinearOrdinaryRecurrenceTools Previous: kernel   Contents   Index


values


\begin{usage}
values(L)([$y_0,\dots,y_{m-1}$])\\ values(L, e)([$y_0,\dots,y_{m-1}$])\\
values(L, e)([$y_0,\dots,y_{m-1}$], rhs)
\end{usage}

\begin{signatures}
values: & RXE $\to$\ \htmlref{\texttt{Vector}}{Vector} F $\...
...rator} F) $\to$\ \htmlref{\texttt{Generator}}{Generator} F\\\end{signatures}

\begin{params}
{\em L} & \% & A linear recurrence\\
{\em e} & \htmlref{\textt...
...or}}{Generator} F & An optional right-hand side (default is 0)\\\end{params}

\begin{retval}
Returns a generator for the sequence $y$\ satisfying by
$(L E^e)...
...only solution of $(L E^e) y = rhs$\ with
the given initial values.
\end{retval}

\begin{remarks}
This function causes a division by zero if a singularity
of $L$...
...han calling
values{} repeatedly with several intitial conditions.
\end{remarks}



Manuel Bronstein 2000-12-13