Решение линейных конечно-разностных уравнений с постоянными коэффициентами в поле рациональных функций

Рассматриваются линейные рекуррентные уравнения с постоянными коэффициентами и рациональными правыми частями. Предлагается алгоритм, распознающий существование рационального решения произвольного уравнения обсуждаемого вида и строящий всю совокупность рациональных решений в случае существования.