LinearOrdinaryRecurrenceRationalSolutions

Next: kernel Up: Solutions of Differential and Previous: hypergeometricSolution Contents Index

LinearOrdinaryRecurrenceRationalSolutions

$\begin{usage} import from LinearOrdinaryRecurrenceRationalSolutions(R, F, $\iota$, RX, RXE, FX) \end{usage}$

$\begin{params} {\em R} & \htmlref{\texttt{GcdDomain}}{GcdDomain} & The coeffic... ...ategory}}{UnivariatePolynomialCategory} F & Polynomials over F\\\end{params}$

$\begin{descr} LinearOrdinaryRecurrenceRationalSolutions(R, F, $\iota$, RX, RXE,... ... linear ordinary recurrence operators with polynomial coefficients. \end{descr}$

Exports

kernel: RXE $\to$ (RX, V UFP) Rational solutions

particularSolution: (RXE, Rx) $\to$ (RX, Partial UFP) A rational solution

solve: (RXE, Rx) $\to$ (RX, V UFP, Partial UFP) Rational solutions

where
Rx == Fraction RX

UFP == UnivariateFactorialPolynomial(F, FX)

V == Vector

Subsections

kernel
particularSolution
solve

Manuel Bronstein 2000-12-13

`kernel`:	RXE $\to$ (RX, V UFP)	Rational solutions
`particularSolution`:	(RXE, Rx) $\to$ (RX, `Partial` UFP)	A rational solution
`solve`:	(RXE, Rx) $\to$ (RX, V UFP, `Partial` UFP)	Rational solutions

Rx	==	`Fraction` RX
UFP	==	`UnivariateFactorialPolynomial`(F, FX)
V	==	`Vector`