NOTE: Currently being updated to v2.0.0. For the lastest working version, see v1.0.5.
This Macaulay2 package allows one to compute Gröbner bases, syzygies and free resolutions for submodules of free OI-modules over Noetherian polynomial OI-algebras. For an introduction to the topic, see this paper.
Download the file OIGroebnerBases.m2
from the top directory and launch an instance of Macaulay2 in the same directory as the package. Then install the package by running the command
installPackage "OIGroebnerBases"
View the documentation by running
viewHelp OIGroebnerBases
To load the package in the future, run
needsPackage "OIGroebnerBases"
This repository was created using Macaulay2-Package-Template.