LREtools[HypergeometricTerm][UniversalDenominator] - return the universal denominator of the rational solutions for a difference equation depending on a hypergeometric term
|
Calling Sequence
|
|
UniversalDenominator(eq, var, term)
|
|
Parameters
|
|
eq
|
-
|
linear difference equation depending on a hypergeometric term
|
var
|
-
|
function variable for which to solve, for example, z(n)
|
term
|
-
|
hypergeometric term
|
|
|
|
|
Description
|
|
•
|
The PolynomialSolution(eq, var, term) command returns the universal denominator of the rational solution of the linear difference equation eq.
|
•
|
The hypergeometric term in the linear difference equation is specified by a name, for example, t. The meaning of the term is defined by the parameter term. It can be specified directly in the form of an equation, for example, , or specified as a list consisting of the name of the term variable and the consecutive term ratio, for example, .
|
|
|
Examples
|
|
>
|
|
>
|
|
| (1) |
>
|
|
| (2) |
>
|
|
| (3) |
>
|
|
| (4) |
>
|
|
| (5) |
>
|
|
| (6) |
|
|
References
|
|
|
Abramov, S.A., and Bronstein, M. "Hypergeometric dispersion and the orbit problem." Proc. ISSAC 2000.
|
|
Bronstein, M. "On solutions of Linear Ordinary Difference Equations in their Coefficients Field." INRIA Research Report. No. 3797. November 1999.
|
|
|
Download Help Document
Was this information helpful?