EN FR
EN FR
DISCO - 2015
Overall Objectives
New Results
Bilateral Contracts and Grants with Industry
Bibliography
Overall Objectives
New Results
Bilateral Contracts and Grants with Industry
Bibliography


Section: New Software and Platforms

QuillenSuslin

Functional Description

QuillenSuslin is a Maple implementation of a constructive version of the Quillen-Suslin Theorem. It provides an algorithm which computes a basis of a free module over a polynomial ring. In terms of matrices, this algorithm completes a unimodular rectangular matrix (e.g. a unimodular row) to an invertible matrix over the given polynomial ring with rational or integer coefficients. The package was also extended with Park's Algorithm to deal with unimodular rows over Laurent polynomial rings and with heuristic methods for localizations of polynomial rings.