Truth-is-will / OIGroebnerBases-1

A Macaulay2 package for computation in OI-modules over Noetherian polynomial OI-algebras

OIGroebnerBases - A Macaulay2 Package

NOTE: Currently being updated to v2.0.0. For the lastest working version, see v1.0.5.

Introduction

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.

Installation and Documentation

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.