符号求和的一个关键问题是求解线性差分方程的有理解.解决这类问题的第一步是得到每个有理解分母的界，一旦知道分母界，就可以将有理解的问题简化为多项式解的问题.本文提供了一种用于在∏∑-域中寻找多项式系数一阶线性差分方程有理解的极小万有分母的算法，得到的极小万有分母为根据Abramov算法在∏∑-域上推广得到的万有分母的因子.
科研之友
微信
新浪微博
Facebook
分享链接
