kernel

Next: particularSolution Up: LinearOrdinaryRecurrenceRationalSolutions Previous: LinearOrdinaryRecurrenceRationalSolutions Contents Index

kernel

$\begin{usage} kernel~L \end{usage}$

Signature

kernel: RXE $\to$ (RX, Vector UnivariateFactorialPolynomial(F,FX))

$\begin{params} {\em L} & RXE & A linear ordinary recurrence operator\\\end{params}$

$\begin{retval} Returns $(d, [p_1,\dots,p_m])$\ such that $\{p_1/d,\dots,p_m/d\}$\ is a basis for all the rational solutions of $Ly = 0$. \end{retval}$

Manuel Bronstein 2000-12-13