The OIGroebnerBases Package for Macaulay2
Commutative Algebra
2023-10-10 v1
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\"obner bases, syzygies and free resolutions of submodules of free OI-modules.
Keywords
Cite
@article{arxiv.2310.04891,
title = {The OIGroebnerBases Package for Macaulay2},
author = {Michael Morrow},
journal= {arXiv preprint arXiv:2310.04891},
year = {2023}
}
Comments
7 pages