commutative algebra · algebraic geometry

The mathematics of free resolutions, computed.

Macaulay2 is the research system for Gröbner bases, free resolutions, Betti numbers, and the geometry of polynomial ideals. Thirty-four years in the making — now with an interface to match.

34 years of NSF fundingJenks Prize 20192,000+ papers cite itIts own journal, JSAG~350 packages
what you can compute

A computer algebra system built for one job, done deeply.

Where general tools stop, Macaulay2 begins — the canonical engine for the algebra behind modern geometry.

Commutative algebra

Gröbner bases, primary decomposition, integral closure, Ext and Tor, local cohomology — over any ring you can write down.

Algebraic geometry

Varieties and schemes, sheaf cohomology, divisors, intersection theory, moduli — compute the invariants by hand no longer.

~350 packages

From matroids to D-modules to numerical algebraic geometry — a community library spanning every corner of the field.

Run Macaulay2 in your browser.

No install, no setup. A full kernel, in a notebook that saves and shares by link — so the computation you ran tonight is the one your collaborator opens tomorrow.

Open a notebook →
untitled.m2 — shared
i1 : factor(x^6 - y^6)o1 = (x-y)(x+y)(x²+xy+y²)(x²-xy+y²)i2 : dim I, degree Io2 = (1, 3)
🔗 macaulay2.com/n/aF3k9 · anyone with the link
download

Install locally, or ship it on your desktop.

Native binaries where they exist, a guided path where they don't.

macOS
brew install Macaulay2/tap/macaulay2
Apple Silicon & Intel. The desktop app bundles the engine — nothing else to install.
Linux
apt install macaulay2
Debian / Ubuntu repositories, or build from source for the latest stable.
Windows
wsl --install · then apt install
The desktop app automates WSL2 setup, so Windows is one click — not an afternoon.
community

Built in the open, by mathematicians, for mathematicians.