2000 character limit reached
The OIGroebnerBases Package for Macaulay2
Published 7 Oct 2023 in math.AC | (2310.04891v1)
Abstract: We introduce the $\textit{Macaulay2}$ package $\texttt{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\"obner bases, syzygies and free resolutions of submodules of free OI-modules.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.