An Algorithm of Computing Inhomogeneous Difference Equations for a Definite Sum
We give a new algorithm to compute inhomogeneous difference equations for a definite sum with parameters. The algorithm is based on the restriction algorithm for D-module by Oaku. Main tool in the algorithm is Gröbner basis method in the ring of differential operators.