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:

• Macaulay 2 version 1.1 is now available for download.
• A Macaulay 2 workshop will take place Saturday, June 28, 2008 to Thursday, July 3, 2008, in Snowbird, Utah. Registration is now closed.

Feedback:

• email both authors. Use this email address for comments and bug reports about Macaulay 2.
• Daniel Grayson: home page, email.
• Michael Stillman: home page, email.
• the Macaulay2 google group for general discussions and support requests

Getting Macaulay 2:

• download Macaulay 2 distributions, including binaries and documentation
• changes made to Macaulay 2
• repositories, normally not accessed by humans
• 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.

Information about Macaulay 2:

• Questions about Macaulay 2 and our answers. New!
• 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.1, February, 2008
  • problems and solutions
  • Macaulay 2 documentation
  • Search the documentation

References to 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."

Building Macaulay 2 yourself:

The links below can be accessed using subversion, via URL's 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.
• Branches corresponding to numbered releases are made periodically in svn://macaulay2.math.uiuc.edu/Macaulay2/release-branches, but the code in them is not stable and may not work.
• Stable 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.

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 and Michael E. Stillman (Cornell), current, 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.

  • Wolfram Decker: wrote part of the primary decomposition code in primdecomp-SY.m2.
  • Graham Denham: co-author of the package HyperplaneArrangements
  • Neil Epstein: homomorphisms between modules (hom.m2, in version 0.9.3)
  • Chris Francisco: wrote the package LexIdeals
  • Anton Leykin: co-author of the D-modules package.
  • Sorin Popescu: co-author of the package SimplicialComplexes
  • Daniel Robertz: wrote the package InvolutiveBases
  • Alexandra Seceleanu: co-author of the packages GenericInitialIdeal and Regularity
  • 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 the packages HyperplaneArrangements and SimplicialComplexes.
  • Bart Snapp: worked in Fall, 2004, detecting bugs and improving the documentation; co-author of the packages Depth and NoetherNormalization
  • Nathaniel Stapleton: co-author of the packages GenericInitialIdeal, NoetherNormalization, and Regularity
  • Amelia Taylor: integral closure (normal.m2 and minPres.m2)
  • Harrison Tsai: co-author of the D-modules package.
  • Carolyn Yackel: wrote code to compute associated primes, localizations, and part of the primary decomposition code in primdecomp-SY.m2.

• 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

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.

Older downloads:

• Download Macaulay 2 binaries, in RPM format, for GNU/Linux Intel (RedHat), from redhat 3, and from redhat development, thanks to Rex A. Dieter. There are 64 bit versions at redhat 64 3, and at redhat 64 development.
• Download Macaulay 2 binaries for Microsoft Windows in Microsoft Installer format, from Nebraska, thanks to Rex A. Dieter.
• Download *.spec files and resources needed to build source and binary RPMs for Macaulay 2 and for all the libraries it depends on from tu-berlin.de, thanks to Christian Cornelssen <ccorn@cs.tu-berlin.de>.
• Macaulay2 is included in the Knoppix/Math CD.