kernel

Next: LinearOrdinaryRecurrenceSystemTools Up: LinearOrdinaryRecurrenceSystemRationalSolutions Previous: LinearOrdinaryRecurrenceSystemRationalSolutions Contents Index

kernel

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

Signature

kernel: SYS RX $\to$ (RX, DenseMatrix UnivariateFactorialPolynomial(F, FX))

where
SYS == LinearOrdinaryFirstOrderSystem

$\begin{params} {\em L} & \htmlref{\texttt{LinearOrdinaryFirstOrderSystem}}{LinearOrdinaryFirstOrderSystem} RX & A first order recurrence system\\\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