Abstract

The QuillenSuslin package for Macaulay2 provides the ability to compute a free basis for a projective module over a polynomial ring with coefficients in $\mathbb{Q}$, $\mathbb{Z}$, or $\mathbb{Z}∕p$ for a prime integer $p$. A brief description of the underlying algorithm and the related tools are given.

Mathematical Subject Classification 2010

Supplementary material

QuillenSuslin source code

Milestones

Authors