On a Maple implementation of algorithms for computing Ore closure.


Wednesday November 30th, 2005 at 3:30pm in K9509.


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 q-shift where q is not a root of unity;
  + finite orbit: q-shift 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.