The OIGroebnerBases Package for Macaulay2

We introduce the $\mathit{\text{Macaulay2}}$ package $\mathtt{\text{OIGroebnerBases}}$ 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.