Showcase

Some of the coolest projects done with Macaulay2! (The content is AI generated for mockup purposes.)

Betti Table Gallery

Betti Table Gallery

A community-curated archive of unusual Betti tables gathered from computations in commutative algebra.

Schubert Calculus Notes

Schubert Calculus Notes

A set of classroom notes where Schubert calculus computations are paired with short Macaulay2 snippets. The project is written as if it were used alongside lectures, so some examples are deliberately tiny and others linger on interpretation.

Syzygy Atlas

Syzygy Atlas

A browsable notebook collection for comparing free resolutions across families of graded ideals.

Monomial Ideals Field Notes

Monomial Ideals Field Notes

A compact set of examples for students learning Alexander duality, polarization, resolutions, and combinatorial invariants of monomial ideals. Some entries are only a few commands long, while others unfold into longer guided investigations.

Determinantal Varieties Notebook

Determinantal Varieties Notebook

Guided computations with minors, expected codimension, singular loci, and sample resolutions for determinantal varieties.

Numerical Meets Symbolic

Numerical Meets Symbolic

Prototype scripts for moving between numerical experiments and exact algebraic verification.

Graduate Algebra Companion

Graduate Algebra Companion

A broad set of supplementary Macaulay2 worksheets for a graduate algebra course. The project moves from quick demonstrations of ideals and modules to longer computations with exact sequences, tensor products, Ext, Tor, and examples that connect algebraic definitions to concrete output.

Parameter Space Diary

Parameter Space Diary

A fictional research diary tracking families of examples over parameter spaces. The entries include failed attempts, successful simplifications, and comments about when a computation gives useful evidence versus when it only suggests a possible pattern.

Sheaf Cohomology Sandbox

Sheaf Cohomology Sandbox

A teaching-oriented project that turns common sheaf cohomology calculations into reproducible Macaulay2 sessions. The examples range from line bundles on projective space to more complicated pushforwards, and each worksheet includes notes about what the calculation is meant to illustrate.

Chain Complex Playground

Chain Complex Playground

A small toolkit of examples for building, mapping, and inspecting chain complexes in Macaulay2.

Package Testing Harness

Package Testing Harness

A practical template for organizing package examples, tests, and documentation snippets.

Rees Algebra Explorer

Rees Algebra Explorer

A longer-form computational notebook for experimenting with Rees algebras, blowups, special fibers, and elimination presentations. It includes intentionally redundant calculations so readers can compare different ways to arrive at the same object.

Hilbert Scheme Sketchbook

Hilbert Scheme Sketchbook

A collection of small computations exploring components, tangent spaces, and examples on Hilbert schemes.

Toric Degeneration Lab

Toric Degeneration Lab

An experimental workspace for testing candidate toric degenerations of projective varieties, with scripts that track initial ideals, Hilbert functions, and small visual summaries for seminar use.

Singularities Miniatures

Singularities Miniatures

Short examples involving Jacobian ideals, Milnor-style invariants, and local computations.

Local Rings Workbench

Local Rings Workbench

A compact project for experimenting with localization, completions, tangent cones, and examples where global intuition can be misleading.

Algebraic Statistics Starter Kit

Algebraic Statistics Starter Kit

Examples for toric ideals, Markov bases, and small graphical models.

Residual Intersections Workshop

Residual Intersections Workshop

Workshop material focused on residual intersections and linkage.

Primary Decomposition Bench

Primary Decomposition Bench

A benchmarking playground for comparing primary decomposition strategies on a rotating set of synthetic examples.

Curves in Projective Space

Curves in Projective Space

A mock research log following computations with embedded curves, including genus checks, saturations, random examples, and sanity tests for maps into projective space.