next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Macaulay2Doc > packages provided with Macaulay2

packages provided with Macaulay2

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

Algebraic Geometry

  • Cremona a gold star -- rational maps between projective varieties
  • SpecialFanoFourfolds -- special cubic fourfolds and special Gushel-Mukai fourfolds

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

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

  • GKMVarieties -- computations with GKM manifolds and moment graphs

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 -- Compute a Groebner basis using the classical Buchberger with multiple threads

Group Theory

Homological Algebra


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
  • 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 -- 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 for Lie groups and Lie algebras
  • WeylGroups -- root systems and Weyl groups

Linear Algebra


  • GKMVarieties -- computations with GKM manifolds and moment graphs
  • Matroids a gold star -- a package for computations with matroids
  • SlackIdeals -- Slack ideals of polytopes and matroids


  • 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

  • NCAlgebra -- data types for noncommutative algebras

Numerical Algebraic Geometry

Numerical Linear Algebra

Projective Algebraic Geometry

Real Algebraic Geometry

Representation Theory


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


  • Classic -- a classic Macaulay parser
  • 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 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

Tropical Geometry


  • Complexes -- development package for beta testing new version of chain complexes
  • GraphicalModelsMLE -- maximum likelihood estimates for graphical statistical models
  • MonomialOrbits -- Orbit representatives of monomial ideals

See also