Macaulay2 is a software system devoted to supporting research in algebraic geometry and commutative algebra, whose creation has been funded by the National Science Foundation since 1992.
Macaulay2 includes core algorithms for computing Gröbner bases and graded or multi-graded free resolutions of modules over quotient rings of graded or multi-graded polynomial rings with a monomial ordering. The core algorithms are accessible through a versatile high level interpreted user language with a powerful debugger supporting the creation of new classes of mathematical objects and the installation of methods for computing specifically with them. Macaulay2 can compute Betti numbers, Ext, cohomology of coherent sheaves on projective varieties, primary decomposition of ideals, integral closure of rings, and more.
We hope you will download it, try it out, and give us useful feedback as we continue the development of the program.
Many people contribute to Macaulay2 development, mostly by writing packages that extend the functionality of Macaulay2.
We welcome further help from the mathematical community. See the list of projects for the projects that are proposed or currently underway. Volunteer to undertake one, or propose a new project that you see a need for.
Daniel Grayson, author: home page, email.
Michael Stillman, author: home page, email.
David Eisenbud: home page, email.