Macaulay 2 home page

Macaulay 2 is a software system devoted to supporting research in algebraic geometry and commutative algebra. We hope you will download it, try it out, and give us useful feedback as we continue the development of the program.

News:

• an event: Implementing algebraic geometry algorithms, October 26 to October 30, 2009, at the American Institute of Mathematics, Palo Alto, California; organized by Hirotachi Abo, Anton Leykin, Sam Payne, and Amelia Taylor.
• Macaulay 2 version 1.2 is now available for download, incorporating many improvements over version 1.1.

Getting Macaulay 2:

• Download Macaulay 2 distributions, including binaries and documentation
• Repositories, normally not accessed by humans
• Major distributions that include Macaulay2:
  • Fedora, thanks to Rex A. Dieter
• Macaulay 2 code from other authors:
  • instantly downloadable packages
  • CSM-A Macaulay2 package for characteristic classes of singular varieties, by Paolo Aluffi.
  • InstantonInvariants, Computation of SU(2)-instanton invariants, by Irena Swanson, Elizabeth Gasparim, and Thomas Köppe.
  • WeylGroups, root systems, Weyl groups and Bruhat order, by B. Calmès and V. Petrov
  • FormalGroupLaws, formal group laws (up to a definable precision) and the Lazard ring, by B. Calmès and V. Petrov
  • CohomologyOfBorelVarieties, cohomology of complete flag varieties, by B. Calmès and V. Petrov

Information about Macaulay 2:

• Please subscribe to the Macaulay 2 google group and submit all support requests and questions there.
• Questions about Macaulay 2 and our answers.
• mailing list registration: send email to get on the mailing list for announcements concerning Macaulay 2. We want to keep you informed.
• the book about Macaulay 2, published by Springer.
• events, past and future
• Macaulay 2 projects
• Version 1.3, coming in late May, 2009.
• Version 1.2, February 11, 2009.
  • changes made for version 1.2
  • Macaulay 2 documentation
  • Search the documentation
• Version 1.1, February, 2008
  • changes made to Macaulay 2 in this version.
  • Macaulay 2 documentation

Building Macaulay 2 yourself:

The links below can be accessed using subversion, via URLs starting with svn://, understood only by subversion.

• The latest source code at svn://macaulay2.math.uiuc.edu/Macaulay2/trunk/M2. The code here may not work, as it is usually under active development. It may be temporarily missing the latest changes to a release branch.
• Branches corresponding to numbered releases are made periodically in svn://macaulay2.math.uiuc.edu/Macaulay2/release-branches, but the code in them is not totally static, as we work to make the most recent release build everywhere.
• Static branches of the source code tree are made periodically in svn://macaulay2.math.uiuc.edu/Macaulay2/stable. These may be used for preparing distributions, and the code may be expected to work, because we don't change it.

Contributors:

• Funding:

  We thank the National Science Foundation, which has funded the Macaulay 2 project through the following grants.

  • Collaborative research: a software system for algebraic geometry research, Daniel R. Grayson, Michael E. Stillman (Cornell), David Eisenbud (Berkeley), current, NSF DMS 08-10909 (Cornell) and NSF DMS 08-10948 (UIUC), and NSF DMS 08-10918 (Berkeley), 2008-2010, funding for year 1 in place: $71,000 (Cornell), $70,000 (UIUC), $9,000 (Berkeley); funding for year 2 expected to be the same.
  • Collaborative research: a software system for algebraic geometry research, Daniel R. Grayson and Michael E. Stillman (Cornell), NSF DMS 03-11806 (Cornell) and NSF DMS 03-11378 (UIUC), 2003-2008, $589,010 (Cornell) and $251,345 (UIUC).
  • A software system for algebraic geometry research, NSF DMS 99-70085, to Daniel R. Grayson, 1999-2002, $159,359; NSF DMS 99-70348 to Michael E. Stillman, 1999-2002, $207,369.
  • A software system for algebraic geometry research, NSF DMS 96-22608, 1996-1999, $132,018; NSF DMS 96-23232 to Michael E. Stillman, 1996-1999, $135,956.
  • A software system for algebraic geometry research, NSF DMS 92-10807, to Daniel R. Grayson, 1993-1996, $230,000; NSF DMS 92-10805 to Michael E. Stillman, 1993-1996, $225,000.

• Macaulay 2 code:

  We thank the following people who have generously contributed code for use with Macaulay 2, or have worked on our code.

  • Hirotachi Abo: co-author of package BGG.
  • René Birkner: author of package Polyhedra.
  • Wolfram Decker: wrote part of the primary decomposition code in primdecomp-SY.m2, co-author of package BGG.
  • Graham Denham: co-author of package HyperplaneArrangements.
  • David Eisenbud: co-author of packages ReesAlgebra, BGG, LocalRings, Schubert2, TangentCone. author of package Bruns.
  • Neil Epstein: homomorphisms between modules (hom.m2, in version 0.9.3).
  • Chris Francisco: author of package LexIdeals, co-author of package EdgeIdeals.
  • Luis Garcia: co-author of package Markov.
  • Andrew Hoefel: co-author of packages EdgeIdeals, gfanInterface.
  • Craig Huneke: co-author of package TangentCone.
  • G. Kämpf: author of package Normaliz.
  • Anton Leykin: co-author of package Dmodules, SchurFunctors.
  • Frank Moore: co-author of package ChainComplexExtras.
  • Sonja Petrovic: co-author of package FourTiTwo.
  • Sorin Popescu: co-author of packages SimplicialComplexes, ReesAlgebra.
  • Daniel Robertz: author of package InvolutiveBases.
  • Steven V. Sam: author of package PieriMaps.
  • Hal Schenck: co-author of package SchurRings.
  • Frank Schreyer: co-author of package BGG.
  • Alexandra Seceleanu: co-author of packages GenericInitialIdeal, Regularity, SymmetricPolynomials.
  • Gregory Smith: monomial ideals (parts of monideal.m2 and varieties.m2); wrote part of the primary decomposition code in primdecomp-SY.m2; co-author of packages HyperplaneArrangements, FourierMotzkin, SimplicialComplexes, BGG, Points, ChainComplexExtras.
  • Bart Snapp: worked in Fall, 2004, detecting bugs and improving the documentation; author of Depth, co-author of NoetherNormalization.
  • Nathaniel Stapleton: co-author of the packages GenericInitialIdeal, NoetherNormalization, and Regularity.
  • Stein A. Strømme: co-author of package Points, Schubert2.
  • Dave Swinarski: author of package StatePolytope.
  • Amelia Taylor: integral closure (normal.m2 and minPres.m2), co-author of packages IntegralClosure, ReesAlgebra.
  • Harrison Tsai: co-author of package Dmodules.
  • Adam Van Tuyl: co-author of package EdgeIdeals.
  • Mauricio Velasco: co-author of package SchurFunctors.
  • Carolyn Yackel: wrote code to compute associated primes, localizations, and part of the primary decomposition code in primdecomp-SY.m2.
  • Josephine Yu: author of package Polymake, co-author of package FourTiTwo.

• Software libraries:

  We thank the developers of the following libraries, which Macaulay 2 uses.

  • gc
  • gdbm
  • gmp
  • lapack with blas
  • mpfr
  • ntl
  • readline
  • Singular-Factory
  • Singular-Libfac
  • frobby, starting with Macaulay 2 version 1.1.99
  • pari, starting with Macaulay 2 version 1.1.99

References to Macaulay 2:

• The Journal of Software for Algebra and Geometry: Macaulay 2
• publications citing Macaulay 2
• how to cite Macaulay 2
• 2006 Fields Medalist Andrei Okounkov mentions Macaulay 2 in an interview: "This brings up many issues. I am not an expert, but I think we need a symbolic standard to make computer manipulations easier to document and verify. And with all due respect to the free market, perhaps we should not be dependent on commercial software here. An open-source project could, perhaps, find better answers to the obvious problems such as availability, bugs, backward compatibility, platform independence, standard libraries, etc. One can learn from the success of TEX and more specialized software like Macaulay2. I do hope that funding agencies are looking into this."

Related links:

• Macaulay, the predecessor of Macaulay 2, written by David Bayer and Michael Stillman.
• Macaulay 2 is used within Sage by some people, and we are working to make it possible to incorporate Macaulay 2 in Sage.
• TeXmacs, a "what you see is what you get" editor based on TeX, which is being developed to serve as a user interface for Macaulay 2 and other symbolic algebra programs by Joris van der Hoeven.
• Macaulay 2 is included in the Knoppix/Math CD.

Authors:

• Daniel Grayson: home page, email.
• Michael Stillman: home page, email.