Macaulay 2 is a software system for algebraic geometry research, written by Daniel R. Grayson and Michael E. Stillman. Based on Groebner bases, it provides algorithms for computing homological invariants of rings and modules.

This package contains the modes for running Macaulay2 within Emacs and editing Macaulay2 code.