Computing free bases for projective modules. (English) Zbl 1311.13001

Barwick, Brett; Stone, Branden

J. Softw. Algebra Geom. 5, 26-32 (2013).

Summary: 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.

MSC:

13-04	Software, source code, etc. for problems pertaining to commutative algebra
13C10	Projective and free modules and ideals in commutative rings
13P99	Computational aspects and applications of commutative rings

Software:

Macaulay2; QuillenSuslin; QuillenSuslin