The OIGroebnerBases Package for Macaulay2
arXiv:2310.04891
Abstract
We introduce the package for working with OI-modules over Noetherian polynomial OI-algebras. The main methods implement OI-analogues of Buchberger's algorithm and Schreyer's theorem to compute Gröbner bases, syzygies and free resolutions of submodules of free OI-modules.
7 pages