Packages
Packages included with Macaulay 2
- BGG, Bernstein-Gel'fand-Gel'fand correspondence
- BoijSoederberg, Betti diagram routines
- 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
- ConwayPolynomials, database of Conway polynomials for use with GF
- Depth, computations involving regular sequences
- 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
- FourierMotzkin, for convex hull and vertex enumeration
- FourTiTwo, Interface for 4ti2
- GenericInitialIdeal, compute generic initial ideals
- gfanInterface, a Macaulay2 interface to gfan
- HyperplaneArrangements, hyperplane arrangements
- IntegralClosure, compute integral closure of a ring
- InvolutiveBases, Methods for Janet bases and Pommaret bases in Macaulay 2
- LexIdeals, a package for working with lex ideals
- LLLBases, lattice reduction (Lenstra-Lenstra-Lovasz bases)
- LocalRings, Polynomial rings localized at a maximal ideal
- Markov, Markov ideals, arising from Bayesian networks in statistics
- NoetherNormalization, routines related to Noether normalization
- Normaliz, an interface to use Normaliz in Macaulay 2
- PackageTemplate, an example Macaulay 2 package
- 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
- PrimaryDecomposition, primary decomposition of ideals
- ReesAlgebra, compute the Rees algebra
- Regularity, compute Castelnuovo-Mumford regularity of a homogeneous ideal
- Schubert2, A package for computations in Intersection Theory
- SchurFunctors, for computing Schur functors
- SchurRings, rings representing irreducible representations of GL(n)
- SimpleDoc, simpler documentation for functions and methods
- SimplicialComplexes, 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
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
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.
- SimpleDoc/ -- writing Macaulay 2 documentation simply. A more up-to-date version is in Macaulay 2 version 1.2.
- 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.