Packages

Packages included with Macaulay2 version 1.6

• AdjointIdeal, Adjoint ideals of plane curves and related computations
• BGG, Bernstein-Gelfand-Gelfand correspondence
• BIBasis, Involutive Pommaret basis in a Boolean ring
• BeginningMacaulay2, Mathematicians' Introduction to Macaulay2
• Benchmark, standard Macaulay2 benchmarks
• Binomials, Specialized routines for binomial ideals
• BoijSoederberg, betti diagram operations useful for investigating the Boij-Soederberg conjectures
• BooleanGB, Groebner Bases for Ideals in Boolean Polynomial Quotient Ring
• Browse, a method for browsing and examining Macaulay2 data structures
• Bruns, make a 3-generator ideal with an "any" resolution
• ChainComplexExtras, Some additional ChainComplex Functions.
• CharacteristicClasses, Degrees of Chern classes and other characteristic classes
• Classic, a classic Macaulay parser
• CompleteIntersectionResolutions, Analyzing Resolutions over a Complete Intersection
• ConvexInterface, Interface to Convex
• ConwayPolynomials, a database of Conway polynomials
• Cyclotomic, routines for cyclotomic fields
• DGAlgebras, Data type for DG algebras
• Depth, aids in computations related to depth
• Dmodules, functions for computations with D-modules
• EdgeIdeals, a package for edge ideals.
• Elimination, a package for elimination of variables
• EliminationMatrices, Package for computing resultants
• EllipticIntegrals, uniformization of elliptic curves
• FirstPackage, an example Macaulay2 package
• FormalGroupLaws, Package to deal with commutative formal group laws
• FourTiTwo, Interface to 4ti2
• FourierMotzkin, convex hulls and polar cones
• GenericInitialIdeal, find the generic initial ideal of a given ideal
• GraphicalModels, A package for discrete and Gaussian 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, Integral Closure
• InvolutiveBases, Methods for Janet bases and Pommaret bases in Macaulay 2
• Kronecker, Kronecker and rational normal forms
• KustinMiller, Unprojection and the Kustin-Miller complex construction
• LLLBases, a package for computing Lenstra-Lenstra-Lovasz bases
• LexIdeals, A Macaulay 2 package for manipulating lexicographic-type monomial ideals
• LocalRings, Local rings at the origin
• Macaulay2Doc, Macaulay2 documentation
• MapleInterface, Interface to Maple
• Markov, Markov ideals, arising from Bayesian networks in statistics
• ModuleDeformations, Computing versal deformations of maximal Cohen-Macaulay modules
• MonomialAlgebras, Monomial algebras
• MonomialMultiplierIdeals, A Macaulay2 package to compute multiplier ideals of monomial ideals
• NAGtypes, Common types used in Numerical Algebraic Geometry
• Nauty, Interface to nauty
• NautyGraphs, Interface to nauty (Graphs fork)
• NoetherNormalization, place an ideal in Noether normal position
• NormalToricVarieties, normal toric varieties
• Normaliz, a package to use Normaliz in Macaulay 2
• NumericalAlgebraicGeometry, Numerical Algebraic Geometry
• OpenMath, OpenMath for Macaulay2
• PHCpack, Interface to PHCpack
• PackageTemplate, an example Macaulay2 package
• Parametrization, Rational parametrization of rational plane curves and related computations
• Parsing, a framework for creating recursive descent parsers
• PieriMaps, computations of matrices between representations of the general linear group based on the Pieri formulas
• Points, computing with sets of points
• Polyhedra, A package for computations with convex polyhedra
• Polymake, a package for interfacing with polymake
• Posets, Package for processing partially ordered sets (posets)
• PrimaryDecomposition, functions for primary decomposition
• PushForward, push forwards of finite ring maps
• QthPower, An implementation of the qth-Power algorithm
• RandomCanonicalCurves, Construction of random smooth canonical curves up to genus 14
• RandomCurves, Construction of random curves
• RandomGenus14Curves, Construction of random smooth curves of genus 14
• RandomObjects, a framework for making random objects in algebraic geometry
• RandomPlaneCurves, Construction of random plane curves
• RandomSpaceCurves, Construction of random smooth space curves
• RationalPoints, find the common zeroes of a set of polynomials with coefficients in a finite field
• ReesAlgebra, Rees algebras
• Regularity, computes the Castelnuovo-Mumford regularity of a given homogeneous ideal
• SCSCP, SCSCP for Macaulay2
• SRdeformations, Deformations of Stanley-Reisner rings and related computations
• Schubert2, computations of characteristic classes for varieties without equations
• SchurFunctors, computations of Schur modules and maps between them
• SchurRings, representation rings of general linear groups and of symmetric groups
• Serialization, reversible conversion of all Macaulay2 objects to strings
• SimpleDoc, a simple documentation function
• SimplicialComplexes, simplicial complexes
• SimplicialDecomposability, various decomposability routines for simplicial complexes
• StatePolytope, for computing the state polytope of an ideal
• Style, style sheets and images for the documentation
• SymmetricPolynomials, symmetric polynomials
• TangentCone, tangent cones
• TensorComplexes, multilinear algebra with labeled bases
• Text, documentation and hypertext
• ToricVectorBundles, A package for computations with vector bundles on toric varieties
• Triplets, Triplets of degree sequences, and associated Betti diagrams and cohomology tables
• Units, units conversion and physical constants
• VersalDeformations, A package for calculating versal deformations and local Hilbert schemes
• WeylGroups, Root systems and Weyl groups
• XML, an XML parser
• gfanInterface, Interface to A. Jensen's gfan package

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: