swMATH ID: 8611
Software Authors: Anna Fabiańska
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.
Homepage: https://wwwb.math.rwth-aachen.de/QuillenSuslin/
Dependencies: Maple
Related Software: SINGULAR; Macaulay2; Janet; QuillenSuslin; CHomP; REPSN; GCLC; Maple; OreMorphisms; OreModules; homalg; Plural; Magma; LiE; Z; Mod-p group cohomology; KILLING; PersistenceImages; Formigramator; AlexNet
Cited in: 12 Publications

Citations by Year