作为含多项式系数线性递推解的确定和

我们提出一种算法，该算法给定一个含多项式系数的线性递推算子 $L$，$m \in \mathbb{N}\setminus\{0\}$，$a_1,a_2,\ldots,a_m \in \mathbb{N}\setminus\{0\}$ 和 $b_1,b_2,\ldots,b_m \in \mathbb{K}$，返回一个含有理系数的线性递推算子 $L'$，使得对每一个序列 $h$，$$L\left(\sum_{k=0}^\infty \prod_{i=1}^m \binom{a_i n + b_i}{k} h_k\right) = 0$$ 当且仅当 $L' h = 0$。