Packages
Packages included with Macaulay 2
- AdjointIdeal, Adjoint ideals of plane curves and related computations
- BeginningMacaulay2, Mathematicians' Introduction to Macaulay2
- BGG, Bernstein-Gel'fand-Gel'fand correspondence
- Binomials, Specialized routines for binomial Ideals
- BoijSoederberg, Betti diagram routines
- BooleanGB, Groebner bases in a Boolean ring
- Bruns, produces an ideal with three generators whose 2nd syzygy module is isomorphic to a given module
- ChainComplexExtras, More ChainComplex Functionality.
- Classic, a parser for classic Macaulay syntax
- ConvexInterface, Interface to Convex
- ConwayPolynomials, database of Conway polynomials for use with GF
- Cyclotomic, routines for cyclotomic fields
- Depth, computations involving regular sequences
- DGAlgebras, Data type for DG algebras
- Dmodules, algorithms for D-modules
- EdgeIdeals, A package for working with the edge ideals of (hyper)graphs
- Elimination, eliminating specified variables, and Sylvester resultant
- FirstPackage, an example Macaulay 2 package
- FormalGroupLaws, Package to deal with commutative formal group laws
- FourierMotzkin, for convex hull and vertex enumeration
- FourTiTwo, Interface for 4ti2
- GenericInitialIdeal, compute generic initial ideals
- gfanInterface, a Macaulay2 interface to gfan
- GraphicalModels, A package for discrete and Gaussian statistical graphical models
- Graphics, Create graphics
- Graphs, Data types, visualization, and basic functions for graphs
- HodgeIntegrals, Hodge integrals on the moduli space of curves
- HyperplaneArrangements, hyperplane arrangements
- IntegralClosure, compute integral closure of a ring
- InvolutiveBases, Methods for Janet bases and Pommaret bases in Macaulay 2
- Kronecker, Kronecker and rational normal forms
- LexIdeals, a package for working with lex ideals
- LLLBases, lattice reduction (Lenstra-Lenstra-Lovasz bases)
- LocalRings, Polynomial rings localized at a maximal ideal
- MapleInterface, Interface to Maple
- Markov, Markov ideals, arising from Bayesian networks in statistics
- ModuleDeformations, Computing versal deformations of maximal Cohen-Macaulay modules
- NAGtypes, Common types used in Numerical Algebraic Geometry
- Nauty, Interface to nauty
- NoetherNormalization, routines related to Noether normalization
- NormalToricVarieties, normal toric varieties
- Normaliz, an interface to use Normaliz in Macaulay 2
- NumericalAlgebraicGeometry, a package for numerical algebraic geometry
- OpenMath, OpenMath for Macaulay2
- PHCpack, Interface to PHCpack
- PackageTemplate, an example Macaulay 2 package
- Parametrization, Rational parametrization of rational plane curves and related computations
- Parsing, a framework for building parsers
- PieriMaps, Methods for computing Pieri inclusions
- Points, find points on a variety
- Polyhedra, computations with convex polyhedra
- Polymake, a package for interfacing with polymake
- Posets, Package for processing posets and order complexes
- PrimaryDecomposition, primary decomposition of ideals
- RationalPoints, find the common zeroes of a set of polynomials with coefficients in a finite field
- ReesAlgebra, compute the Rees algebra
- Regularity, compute Castelnuovo-Mumford regularity of a homogeneous ideal
- SCSCP, SCSCP for Macaulay2
- SRdeformations, Deformations of Stanley-Reisner rings and related computations
- Schubert2, A package for computations in Intersection Theory
- SchurFunctors, for computing Schur functors
- SchurRings, rings representing irreducible representations of GL(n)
- Serialization, reversible conversion of all Macaulay2 objects to strings
- SimpleDoc, simpler documentation for functions and methods
- SimplicialComplexes, simplicial complexes
- SimplicialDecomposability, various decomposability routines for simplicial complexes
- StatePolytope, computes state polytopes of ideals
- SymmetricPolynomials, elementary symmetric functions
- TangentCone, compute the tangent cone at a point
- Text, functions related to documentation and hypertext
- ToricVectorBundles, A package for computations with vector bundles on toric varieties
- WeylGroups, Root systems and Weyl groups
- XML, an XML parser
Packages available elsewhere
- 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
- Graphics, svg graphics, by B. Calmès and V. Petrov
Instantly downloadable packages
The packages listed below were written by others and can be installed with the "getPackage" command of Macaulay 2.
Example:
getPackage "LDL"
Available packages:
- Dmodules/ -- computations with D-modules, by Anton Leykin and Harrison Tsai. A more up-to-date version is in Macaulay 2 version 1.2.
- FourTiTwo/ -- interface to 4ti2, by Mike Stillman, Josephine Yu, Sonja Petrovic. A more up-to-date version is in Macaulay 2 version 1.2.
- Kronecker/ -- Kronecker normal form of a matrix pencil, by Edward Carter.
- LDL/ -- LDL' factorization of a positive semidefinite matrix, by Helfried Peyrl.
- PieriMaps/ -- computations of Schur modules and maps between them, by Steven V. Sam, formerly named SchurFunctors. A more up-to-date version is in Macaulay 2 version 1.2.
- Schubert2/ -- This is an up-to-date version of Schubert2 compatible with M2 version 1.3 or 1.3.1. It requires an up-to-date version of SimpleDoc.
- SimpleDoc/ -- This is an up-to-date version of SimpleDoc (for writing documentation simply), usable with Schubert2.
- StatePolytope/ -- the state polytope of an ideal, by Dave Swinarski. A more up-to-date version is in Macaulay 2 version 1.2.
- StateTables/ -- building finite state machines, by Dan Grayson.