The QuillenSuslin Package for Macaulay2
Brett Barwick, Branden Stone

TL;DR
The paper introduces the QuillenSuslin package for Macaulay2, enabling computation of free bases for projective modules over polynomial rings with various coefficient fields, supported by an overview of the underlying algorithm.
Contribution
It provides a new computational tool for algebraic geometry, implementing an algorithm to find free bases of projective modules over polynomial rings in Macaulay2.
Findings
Successfully computes free bases over different coefficient rings.
Supports polynomial rings over Q, Z, and Z/p.
Enhances computational capabilities in algebraic geometry.
Abstract
A supplemental paper detailing the QuillenSuslin package for Macaulay2. The QuillenSuslin package for Macaulay2 provides the ability to compute a free basis for a projective module over a polynomial ring with coefficients in Q, Z or Z/p for a prime integer p. A brief description of the underlying algorithm and the related tools are given.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsUbiquitin and proteasome pathways
