QuillenSuslin
is an Involutive
package dedicated to the QuillenSuslin theorem:
 D. Quillen,
Projective modules over polynomial rings, Invent. Math., 36 (1976), 167171,
 A. Suslin,
The projective modules are free over polynomial rings,
DkladySoviet Math., 229 (1976), 10631066,
 T. Y. Lam,
Serre's Problem on Projective Modules, Monograph in Mathematics,
Springer Verlag, 2006,
and its applications in multidimensional systems theory:

computation of flat outputs and injective parametrizations,

LinBose's generalizations of Serre's
conjecture,

computation of (weakly) coprime factorizations of rational
matrices,

reduction and decomposition problems using the OreMorphisms package,

Serre's reductions using the forthcoming Serre package, ...
The QuillenSuslin package can be used to compute:
 bases of finitely generated free modules over a commutative
polynomial ring with coefficients in a computable field or in
certain principal ideal domains,
 injective parametrizations,
 solutions of LinBose's generalizations of Serre's conjecture,
 (weakly) coprime factorizations of rational matrices, ...
For more details, see:
 A. Fabiańska, A. Quadrat, Applications of the QuillenSuslin theorem to
multidimensional systems theory, Gröbner Bases in Control
Theory and Signal Processing, H. Park, G. Regensburger (Eds.), Radon
Series on Computation and Applied Mathematics 3, de Gruyter publisher, 23106.
An OreModules version of the QuillenSuslin package is in development.
The OreModules package was developed by A. Fabiańska
during her PhD thesis
(Aachen University) in collaboration with A. Quadrat.
Return to the main page