QuillenSuslin (click here)
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.
The QuillenSuslin
package was developed by A. Fabiańska
during her PhD thesis
(Aachen University) in collaboration with W. Plesken and
A. Quadrat.
Return to the main page