2023/10/07 by Michael R. Morrow, Morrow, Michael · 1 citation
Mathematics · Computer Science · #Commutative Algebra and Its Applications #Polynomial and algebraic computation #Algebraic structures and combinatorial models
paper · pdf · doi:10.48550/arxiv.2310.04891
We introduce the Macaulay2 package 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.