The denominators of rational solutions to linear difference equations (Q1894545)

An algorithm was presented to construct all rational solutions of linear difference equations of the form \[ a_ n(x) y(x+n)+ \ldots + a_ 0(x) y(x)= t(x) \] where \(a_ 0(x), \ldots, a_ n(x)\) and \(t(x)\) are polynomials. The article is a substantial modification of the approach by the author given previously by [Zh. Vychisl. Mat. Mat. 29, 1611-1620 (1989; Zbl 0719.65063)]. The algorithm has \(n\), \(a_ 0 (x)\) and \(a_ n(x)\) as inputs and a polynomial that can be used as the denominator of an arbitrary rational solution of the above equation as the output.