i73 : Rbar = R/I
o73 = Rbar
o73 : QuotientRing
i74 : pideal = substitute(pideal, Rbar)
o74 = ideal (x + x , x , x )
0 3 1 2
o74 : Ideal of Rbar
i75 : S = kk[u,v,w]
o75 = S
o75 : PolynomialRing
i76 : J = kernel map (Rbar, S, gens pideal)
o76 = ideal(v3 - u*v*w + w3)
o76 : Ideal of SShowcase
Some projects of the community
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.
A practical template for organizing package examples, tests, and documentation snippets.
A mock research log following computations with embedded curves, including genus checks, saturations, random examples, and sanity tests for maps into projective space.
Events
Upcoming events discussing Macaulay2
A focused sprint for improving package documentation, examples, tests, and contributor workflows across the Macaulay2 ecosystem.
A week of talks and hands-on examples using Macaulay2 for schemes, sheaves, resolutions, and computational experiments.
A practical introduction to computing and interpreting free resolutions, Betti diagrams, Hilbert functions, and related invariants.
A collaborative working session on toric ideals, graphical models, Markov bases, and reproducible computational notebooks.
A community day for polishing tutorials, adding small examples, improving search results, and making documentation easier to navigate.