Denominators of rational solutions of linear difference systems of an arbitrary order

Abstract

An algorithm for finding a universal denominator of rational solutions of a system of linear difference equations with polynomial coefficients is proposed. The equations may have arbitrary orders.