The Stafford package is dedicated to the implementation of Stafford's theorems on the Weyl algebras (i.e., rings of partial differential operators with either polynomial or rational coefficients):

  1. J. T. Stafford, Module structure of Weyl algebras, J. London Math. Soc., 18 (1978), 429-442.

This version of the Stafford package computes:

  1. two generators of a finitely generated left ideal,

  2. bases of a finitely generated free left module,

  3. injective parametrizations.

The Stafford package can be used to:

  1. compute flat outputs of linear control systems,

  2. compute reductions and decompositions of linear functional systems using the OreMorphisms package,

  3. compute Serre's reduction of linear functional systems using the forthcoming Serre package, ...

For more details, see:

  1. A. Quadrat, D. Robertz, Computation of bases of free modules over the Weyl algebras, Journal of Symbolic Computation, 42 (2007), 1113-1141.

More results will be developed in a future version.

The Stafford package is built upon the OreModules package. Thus, the OreModules package has to be installed to run the Stafford package.

The Stafford package is developed by D. Robertz and A. Quadrat.