Team disco

Overall Objectives
Scientific Foundations
Application Domains
New Results
Other Grants and Activities

Section: Software


Participants : Alban Quadrat [correspondent] , Daniel Robertz [Univ. Aachen] .

The Stafford package of OreModules [80] contains an implementation of two constructive versions of Stafford's famous but difficult theorem [107] stating that every ideal over the Weyl algebra An(k) (resp., Bn(k) ) of partial differential operators with polynomial (resp., rational) coefficients over a field k of characteristic 0 (e.g., Im3 ${k=\#8474 }$ , Im4 $\#8477 $ ) can be generated by two generators. Based on this implementation and algorithmic results developed in [104] by the authors of the package, two algorithms have been implemented which compute bases of free modules over the Weyl algebras Im5 ${A_n{(\#8474 )}}$ and Im6 ${B_n{(\#8474 )}}$ . The development of the Stafford package was motivated by the problem of computing injective parametrizations of underdetermined linear systems of partial differential equations with polynomial or rational coefficients (the so-called Monge problem), differential flatness, the reduction and decomposition problems and Serre's reduction problem. To our knowledge, the Stafford package is the only implementation of Stafford's theorems nowadays available. The binary of the package is freely available at .


Logo Inria