Team disco

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

Section: Software


Participants : Alban Quadrat [correspondent] , Anna FabiaƄska [Univ. Aachen] .

The Quillen-Suslin package [86] contains an implementation of the famous Quillen-Suslin theorem [106] , [108] . In particular, this implementation allows us to compute bases of free modules over a commutative polynomial rings with coefficients in a field (mainly Im7 $\#8474 $ ) and in a principal ideal domain (mainly Im8 $\#8484 $ ). The development of the Quillen-Suslin package was motivated by different constructive applications of the Quillen-Suslin theorem in multidimensional systems theory [86] (e.g., the Lin-Bose conjectures, the computation of (weakly) left/right/doubly coprime factorizations of rational transfer matrices, the computation of injective parametrizations of flat linear multidimensional systems with constant coefficients, the reduction and decomposition problems, Serre's reduction problem). To our knowledge, the Quillen-Suslin package is the only implementation of the Quillen-Suslin theorem nowadays available. For more details, see .


Logo Inria