drop

Next: recurrence Up: LinearOrdinaryOperatorToRecurrence Previous: LinearOrdinaryOperatorToRecurrence Contents Index

drop

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

Signature

drop: Rxy $\to$ Integer

$\begin{params} {\em L} & Rxy & A differential or difference operator\\ \end{params}$

$\begin{retval} Returns $n$\ such that for any nonzero $p$\ in $Rx$, either $L p = 0$\ or $\deg(L p) \le \deg(p) - n$. \end{retval}$

$\begin{remarks} Produces an error if $L$\ is neither a differential or recurrence operator. \end{remarks}$

Manuel Bronstein 2000-12-13