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.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element