Maths

Macaulay2 – supporting research in algebraic geometry and commutative algebra

Macaulay 2 is a computer algebra system devoted to supporting research in algebraic geometry, commutative algebra, and their applications.

Macaulay2 includes core algorithms for computing Gröbner bases and graded or multi-graded free resolutions of modules over quotient rings of graded or multi-graded polynomial rings with a monomial ordering. The core algorithms are accessible through a versatile high level interpreted user language with a powerful debugger supporting the creation of new classes of mathematical objects and the installation of methods for computing specifically with them. Macaulay2 can compute Betti numbers, Ext, cohomology of coherent sheaves on projective varieties, primary decomposition of ideals, integral closure of rings, and more.

Macaulay2 uses its own high level programming language, intended to closely match the syntax used by mathematicians in the field.

Key Features

  • Aims to support efficient computation associated with a wide variety of high level mathematical objects, including Galois fields, number fields, polynomial rings, exterior algebras, Weyl algebras, quotient rings, ideals, modules, homomorphisms of rings and modules, graded modules, maps between graded modules, chain complexes, maps between chain complexes, free resolutions, algebraic varieties, and coherent sheaves.
  • Simple yet powerful interpreted language. Every object has a type, such as Type, ZZ (integer), String, HashTable, Ring, Matrix, Function, etc. The core mathematical algorithms are written in C++ and compiled, not interpreted.
  • Cross-platform support – runs under Linux, Mac OS X, Windows, and FreeBSD.

Website: macaulay2.com
Support: GitHub Code Repository
Developer: Daniel R. Grayson, Michael E. Stillman
License: GNU General Public License, version 2 or 3

Macaulay2 is written in C++ and C. Learn C++ with our recommended free books and free tutorials. Learn C with our recommended free books and free tutorials.


Related Software

Computer Algebra Systems
ScilabNumerical computational package
MaximaSystem for the manipulation of symbolic and numerical expressions
OctavePowerful programming language with built-in plotting and visualization tools
SageMathOpen source alternative to Magma, Maple, Mathematica and Matlab
SymPyPython library for symbolic mathematics
SINGULARComputer Algebra System for polynomial computations
Macaulay2Software system for research in algebraic geometry
CadabraSymbolic computer algebra system for field theory problems
PARI/GPWidely used algebra system designed for fast computations in number theory
GAPSystem for computational discrete algebra
FriCASFork of Axiom
CoCoASystem for doing computations in commutative algebra
MathicsGeneral-purpose CAS with Mathematica-compatible syntax and functions
FORMSymbolic Manipulation System
NelsonNumerical computational language
wxMaximaGUI for the sublime Maxima CAS
XcasCross-platform mathematical environment
REDUCEGeneral-purpose computer algebra system for symbolic computation
AxiomGeneral purpose Computer Algebra system
SymjaComputer algebra system and symbolic mathematics library
CGSuiteFor research in combinatorial game theory

Read our verdict in the software roundup.

Geometry Software
GeoGebraDynamic mathematics software for learning and teaching
KigKDE4 software for exploring geometric constructions
Dr. GeoInteractive geometry software
SINGULARCommutative algebra system for polynomial computations
Macaulay2Supporting research in algebraic geometry and commutative algebra
polymakeResearch in polyhedral geometry
GeomviewFor mathematics research and education
GeometriaInteractive software for creating and solving problems in 3D gemoetry
C.a.R.Dynamic geometry program for use in schools and universities

Read our verdict in the software roundup.


Best Free and Open Source Software Explore our comprehensive directory of recommended free and open source software. Our carefully curated collection spans every major software category.

This directory is part of our ongoing series of informative articles for Linux enthusiasts. It features hundreds of detailed reviews, along with open source alternatives to proprietary solutions from major corporations such as Google, Microsoft, Apple, Adobe, IBM, Cisco, Oracle, and Autodesk.

You’ll also find interesting projects to try, hardware coverage, free programming books and tutorials, and much more.

Discovered a useful open source Linux program that we haven’t covered yet? Let us know by completing this form.
Subscribe
Notify of
guest
0 Comments
Oldest
Newest Most Voted
Inline Feedbacks
View all comments