
On a Maple implementation of algorithms for computing Ore closure.Ha Le, CECM, SFU
Abstract: We give a brief description of algorithms for computing polynomial torsion modules in algebras of skew polynomials, and present a Maple implementation which covers all three cases: + fixed orbit: differential; + infinite orbit: shift and qshift where q is not a root of unity; + finite orbit: qshift where q is a root of unity. We also show a Maple implementation of a particular application of these algorithms: desingularization of linear functional operators with polynomial coefficients. Joint work with F. Chyzak, Ph. Dumas, J. Martins, M. Mishna, and B. Salvy. 