A Recursive Method for Determining the One-Dimensional Submodules of Laurent-Ore Modules
符号计算
2007-05-23 v1 经典分析与常微分方程
摘要
We present a method for determining the one-dimensional submodules of a Laurent-Ore module. The method is based on a correspondence between hyperexponential solutions of associated systems and one-dimensional submodules. The hyperexponential solutions are computed recursively by solving a sequence of first-order ordinary matrix equations. As the recursion proceeds, the matrix equations will have constant coefficients with respect to the operators that have been considered.
引用
@article{arxiv.cs/0604084,
title = {A Recursive Method for Determining the One-Dimensional Submodules of Laurent-Ore Modules},
author = {Ziming Li and Michael F. Singer and Min Wu and Dabin Zheng},
journal= {arXiv preprint arXiv:cs/0604084},
year = {2007}
}
备注
To appear in the Proceedings of ISSAC 2006