Macaulay2 » Documentation
Packages » Macaulay2Doc > packages provided with Macaulay2
next | previous | forward | backward | up | index | toc

packages provided with Macaulay2

Here is a list of the packages that are distributed with Macaulay2. The ones that have been refereed and published are marked with a star.

Algebraic Geometry

Algebraic Number Theory

  • Cyclotomic -- cyclotomic fields
  • EllipticCurves -- group law on elliptic curves (and counting points with brute force methods)
  • LLLBases -- Lenstra-Lenstra-Lovasz bases

Algebraic Statistics

Applied Algebraic Geometry

Binomial Ideals

Coding theory

Combinatorial Commutative Algebra


Commutative Algebra

Complex Analytic Geometry

Convex Geometry


Deformation Theory


Edge Ideals

Equivariant Cohomology

  • GKMVarieties -- computations with GKM manifolds and moment graphs

Examples and Random Objects

Flag Varieties

Flag Variety

Graph Theory

  • Chordal -- routines that exploit chordal structure
  • GraphicalModels a gold star -- discrete and Gaussian graphical models
  • Graphs -- graphs and directed graphs (digraphs)
  • Nauty a gold star -- interface to nauty
  • NautyGraphs -- interface to nauty (Graphs fork)
  • StatGraphs -- Graphs specific for algebraic statistics


  • Graphics -- create graphics
  • VectorGraphics -- A package to produce SVG graphics
  • Visualize -- interactive visualization and manipulation of combinatorial objects in a browser


Groebner Basis Algorithms

  • BIBasis -- involutive Pommaret basis in a Boolean ring
  • BooleanGB -- Groebner bases for ideals in Boolean polynomial quotient rings
  • EquivariantGB -- Equivariant Groebner bases and related algorithms
  • FGLM -- Groebner bases via the FGLM algorithm
  • GroebnerWalk -- Groebner bases via the Groebner walk
  • InvolutiveBases -- Methods for Janet bases and Pommaret bases in Macaulay 2
  • ThreadedGB a gold star -- Compute a Groebner basis using the classical Buchberger with multiple threads

Group Theory

Homological Algebra

Inner 2-minor Ideals


Intersection Theory

  • AbstractToricVarieties -- links abstract simplicial (normal) toric varieties to Schubert2
  • Book3264Examples -- examples to accompany the eponymous book by Eisenbud and Harris
  • CharacteristicClasses a gold star -- CSM classes, Segre classes and the Euler characteristic for some subschemes of smooth complete toric varieties
  • CotangentSchubert -- Cotangent Schubert calculus
  • Schubert2 -- characteristic classes for varieties without equations
  • SegreClasses -- test containment of varieties and computes algebraic multiplicity of subvarieties and Fulton-MacPherson intersection products, via a very general Segre class computation

Lie Groups and Lie Algebras

  • GradedLieAlgebras a gold star -- computations in graded Lie algebras
  • HighestWeights a gold star -- decompose free resolutions and graded modules with a semisimple Lie group action
  • LieTypes a gold star -- common types and methods for Lie groups and Lie algebras
  • WeylGroups -- root systems and Weyl groups

Linear Algebra

  • LLLBases -- Lenstra-Lenstra-Lovasz bases



  • Benchmark -- standard Macaulay2 benchmarks
  • Browse -- a method for browsing and examining Macaulay2 data structures
  • EngineTests -- a test suite for the Macaulay2 engine
  • Licenses -- licensing of Macaulay2
  • PackageCitations -- citation of Macaulay2 packages
  • Units -- units conversion and physical constants
  • XML -- an XML parser

Noncommutative Algebra

Numerical Algebraic Geometry

Numerical Linear Algebra

Polyomino Ideals


Projective Algebraic Geometry

Real Algebraic Geometry

Representation Theory



  • Markov -- Markov ideals arising from Bayesian networks in statistics


  • Classic -- a classic Macaulay parser
  • JSON -- JSON encoding and decoding
  • MergeTeX -- Run Macaulay2 code inside a LaTeX file
  • OnlineLookup -- Look up mathematical information online
  • OpenMath -- OpenMath for Macaulay2
  • Parsing -- a framework for creating recursive descent parsers
  • RunExternalM2 -- run Macaulay2 functions outside the current Macaulay2 process
  • SCSCP -- SCSCP for Macaulay2
  • Serialization -- reversible conversion of all Macaulay2 objects to strings

Toric Degeneration

Toric Geometry

  • AbstractToricVarieties -- links abstract simplicial (normal) toric varieties to Schubert2
  • CohomCalg -- interface to CohomCalg software for computing cohomology of torus invariant divisors on a toric variety
  • GKMVarieties -- computations with GKM manifolds and moment graphs
  • NormalToricVarieties -- routines for working with normal toric varieties and related objects
  • OldToricVectorBundles a gold star -- vector bundles on toric varieties
  • PositivityToricBundles -- check positivity of toric vector bundles
  • ToricInvariants -- Euclidean distance degrees, polar degrees, degree and codimension of the dual, and Chern-Mather classes of toric varieties X_A from the polytope conv(A) or from its Gale dual
  • ToricTopology -- toric topology
  • ToricVectorBundles a gold star -- vector bundles on toric varieties


See also