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

• Cremona -- rational maps between projective varieties
• HyperplaneArrangements -- manipulating finite sets of hyperplanes
• K3Surfaces -- Explicit constructions of K3 surfaces
• SpecialFanoFourfolds -- Hodge-special 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

• GraphicalModels -- discrete and Gaussian graphical models
• GraphicalModelsMLE -- maximum likelihood estimates for graphical statistical models
• StatGraphs -- Graphs specific for algebraic statistics

Applied Algebraic Geometry

• AlgebraicSplines -- splines on simplicial complexes, polytopal complexes, and graphs
• PhylogeneticTrees -- invariants for group-based phylogenetic models
• ReactionNetworks -- reaction networks

Binomial Ideals

• PolyominoIdeals -- binomial ideals of collections of cells

Coding theory

• CodingTheory -- tools for coding theory

Combinatorial Commutative Algebra

• MonomialOrbits -- Orbit representatives of monomial ideals
• ResolutionsOfStanleyReisnerRings -- Comparing resolutions of Stanley-Reisner rings and computing various systems of parameters
• SimplicialComplexes -- exploring abstract simplicial complexes within commutative algebra
• SimplicialDecomposability -- various decomposability routines for simplicial complexes
• SimplicialPosets -- Package for constructing Stanley simplicial poset rings.
• SRdeformations -- deformations of Stanley-Reisner rings and related computations

Combinatorics

• Posets -- partially ordered sets (posets)
• SymmetricPolynomials -- symmetric polynomials
• Triangulations -- triangulations of polyhedra and point sets

Commutative Algebra

• AdjointIdeal -- adjoint ideals of plane curves and related computations
• AnalyzeSheafOnP1 -- decompose a Sheaf on P1
• BGG -- Bernstein-Gelfand-Gelfand correspondence
• Binomials -- specialized routines for binomial ideals
• BoijSoederberg -- Betti diagram operations useful for investigating the Boij-Soederberg conjectures
• Bruns -- make a 3-generator ideal with an "any" resolution
• Chordal -- routines that exploit chordal structure
• CompleteIntersectionResolutions -- Analyzing Resolutions over a Complete Intersection
• ConformalBlocks -- for conformal block divisors
• CorrespondenceScrolls -- correspondence scrolls
• Depth -- aids in computations related to depth
• DeterminantalRepresentations -- determinantal representations
• DGAlgebras -- Data type for DG algebras
• DiffAlg -- specialized routines for differential forms
• Divisor -- Weil divisors
• EagonResolution -- Compute the Eagon Resolution of the residue field
• Elimination -- elimination of variables
• EliminationMatrices -- resultants
• EnumerationCurves -- Enumeration of rational curves via torus actions
• ExteriorIdeals -- monomial ideals over exterior algebras
• FiniteFittingIdeals -- Fitting ideals of finite modules
• FrobeniusThresholds -- F-thresholds
• GenericInitialIdeal -- find the generic initial ideal of a given ideal
• GeometricDecomposability -- A package to check whether ideals are geometrically vertex decomposable
• Hadamard -- A package for the Hadamard products of projective subvarieties
• HigherCIOperators -- higher CI operators
• HodgeIntegrals -- Hodge integrals on the moduli space of curves
• IntegralClosure -- integral closure
• InverseSystems -- equivariant Macaulay inverse systems
• Isomorphism -- Probabilistic test of isomorphism between modules
• K3Carpets -- K3 double structure on scrolls
• Kronecker -- Kronecker and rational normal forms
• KustinMiller -- unprojection and the Kustin-Miller complex construction
• LexIdeals -- lexicographic-type monomial ideals
• LocalRings -- operations over a local ring R_p
• M0nbar -- calculations for divisors and F-curves on the moduli space of stable n-pointed genus zero curves
• MCMApproximations -- MCM approximations and complete intersections
• MinimalPrimes -- minimal primes and radical routines for ideals
• Miura -- arithmetic of Miura curves
• MonomialAlgebras -- monomial algebras
• MultiGradedRationalMap -- degree and birationality of multi-graded rational maps
• MultiplicitySequence -- computing the multiplicity sequence of an ideal
• NoetherianOperators -- algorithms for computing local dual spaces and sets of Noetherian operators
• NoetherNormalization -- place an ideal in Noether normal position
• NonminimalComplexes -- non-minimal strands of a non-minimal resolution of a homogeneous module
• Parametrization -- rational parametrization of rational plane curves and related computations
• PencilsOfQuadrics -- Clifford Algebra of a pencil of quadratic forms
• Permanents -- permanents of a matrix
• PrimaryDecomposition -- primary decomposition and associated primes routines
• PruneComplex -- pruning chain complexes over polynomial and local rings
• Pullback -- pullback of rings
• PushForward -- push forwards of finite ring maps
• QthPower -- An implementation of the Qth-Power algorithm for computing integral closures
• Quasidegrees -- quasidegrees and graded local cohomology
• QuillenSuslin -- the Quillen-Suslin algorithm for bases of projective modules
• RationalMaps -- rational maps between varieties
• RationalPoints -- find the common zeroes of a set of polynomials with coefficients in a finite field
• RationalPoints2 -- find the rational points on a variety
• ReesAlgebra -- Rees algebras
• Regularity -- Castelnuovo-Mumford regularity of a homogeneous ideal
• RelativeCanonicalResolution -- the relative canonical resolution for g-nodal canonical curves with a fixed g^1_k
• ResidualIntersections -- conditions associated to residual intersection theory
• Resultants -- resultants, discriminants, and Chow forms
• Saturation -- quotient, saturation, and annihilator routines for ideals and modules
• SectionRing -- the section ring of a Weil Divisor
• Seminormalization -- seminormalization of rings
• SlackIdeals -- Slack ideals of polytopes and matroids
• SparseResultants -- computations with sparse resultants
• StronglyStableIdeals -- studying strongly stable ideals related to Hilbert polynomials
• SVDComplexes -- SVD (singular value decomposition) of a complex over the reals and related functions
• SwitchingFields -- Switch Base Fields and Obtain Natural Maps
• SymbolicPowers -- symbolic powers
• TangentCone -- tangent cones
• TateOnProducts -- Tate resolutions on products of projective spaces
• TensorComplexes -- multilinear algebra with labeled bases
• TestIdeals -- singularities in positive characteristic
• TriangularSets -- triangular decompositions of ideals
• Triplets -- triplets of degree sequences and associated Betti diagrams and cohomology tables
• Truncations -- truncation of a module
• VectorFields -- vector fields
• VirtualResolutions -- Methods for virtual resolutions on products of projective spaces

Complex Analytic Geometry

• EllipticIntegrals -- uniformization of elliptic curves

Convex Geometry

• FourierMotzkin -- convex hulls and polar cones
• LatticePolytopes -- lattice polytopes
• OldPolyhedra -- convex polyhedra
• Polyhedra -- convex polyhedra
• ReflexivePolytopesDB -- simple access to Kreuzer-Skarke database of reflexive polytopes of dimensions 3 and 4
• StatePolytope -- the state polytope of an ideal

D-modules

• BernsteinSato -- Bernstein-Sato
• Dmodules -- D-modules
• HolonomicSystems -- Holonomic Systems
• MultiplierIdeals -- multiplier ideals, log canonical thresholds, and jumping numbers
• MultiplierIdealsDim2 -- multiplier ideals in 2-dimensional rings

Deformation Theory

• ModuleDeformations -- versal deformations of maximal Cohen-Macaulay modules
• VersalDeformations -- versal deformations and local Hilbert schemes

Documentation

• BeginningMacaulay2 -- Mathematicians' Introduction to Macaulay2
• FirstPackage -- an example Macaulay2 package
• Macaulay2Doc -- Macaulay2 documentation
• PackageTemplate -- an example Macaulay2 package
• SimpleDoc -- a simple documentation function
• Style -- style sheets and images for the documentation
• Text -- documentation and hypertext

Edge Ideals

• BinomialEdgeIdeals -- binomial edge ideals
• EdgeIdeals -- edge ideals

Equivariant Cohomology

• GKMVarieties -- computations with GKM manifolds and moment graphs

Examples and Random Objects

• ExampleSystems -- database of polynomial systems
• Points -- sets of points
• RandomCanonicalCurves -- Construction of random smooth canonical curves up to genus 14
• RandomComplexes -- random complexes over fields or the integers
• RandomCurves -- random curves
• RandomCurvesOverVerySmallFiniteFields -- general canonical curves of genus <= 15 over fields with small characteristic
• RandomGenus14Curves -- random smooth curves of genus 14
• RandomIdeals -- creating random ideals of various sorts
• RandomMonomialIdeals -- Erdos-Renyi-type random monomial ideals
• RandomObjects -- a framework for making random objects in algebraic geometry
• RandomPlaneCurves -- random plane curves
• RandomSpaceCurves -- random smooth space curves
• SpaceCurves -- space curves

Flag Varieties

• GKMVarieties -- computations with GKM manifolds and moment graphs
• NumericalSchubertCalculus -- numerical methods in Schubert Calculus

Flag Variety

• MatchingFields -- Matching Fields in Macaulay2

Graph Theory

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

Graphics

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

Grassmannian

• MatchingFields -- Matching Fields in Macaulay2

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

• ConwayPolynomials -- a database of Conway polynomials
• FormalGroupLaws -- commutative formal group laws
• InvariantRing -- invariants of group actions

Homological Algebra

• ChainComplexExtras -- some additional ChainComplex Functions
• ChainComplexOperations -- sym2, wedge2, chi2 of a ChainComplex
• Complexes -- development package for beta testing new version of chain complexes
• HighestWeights -- decompose free resolutions and graded modules with a semisimple Lie group action
• Isomorphism -- Probabilistic test of isomorphism between modules
• NonminimalComplexes -- non-minimal strands of a non-minimal resolution of a homogeneous module
• PruneComplex -- pruning chain complexes over polynomial and local rings
• ResLengthThree -- Multiplication in free resolutions of length three
• SchurComplexes -- Schur functors of complexes
• SchurFunctors -- Schur modules and maps between them
• SpectralSequences -- spectral sequences
• SVDComplexes -- SVD (singular value decomposition) of a complex over the reals and related functions
• TorAlgebra -- classification of local rings based on multiplication in homology
• VirtualResolutions -- Methods for virtual resolutions on products of projective spaces

Inner 2-minor Ideals

• PolyominoIdeals -- binomial ideals of collections of cells

Interfaces

• Bertini -- interface to Bertini
• CohomCalg -- interface to CohomCalg software for computing cohomology of torus invariant divisors on a toric variety
• CoincidentRootLoci -- coincident root loci
• ConvexInterface -- interface to Convex
• ForeignFunctions -- foreign function interface
• FourTiTwo -- Interface to 4ti2
• gfanInterface -- interface to Anders Jensen's Gfan software
• MapleInterface -- interface to Maple
• Nauty -- interface to nauty
• NautyGraphs -- interface to nauty (Graphs fork)
• NCAlgebra -- data types for noncommutative algebras
• Normaliz -- interface to Normaliz in Macaulay2
• PHCpack -- interface to PHCpack
• Polymake -- interfacing with polymake
• Python -- interface to Python
• SemidefiniteProgramming -- semidefinite programming
• StatePolytope -- the state polytope of an ideal
• Topcom -- interface to the topcom software package which in particular computes triangulations

Intersection Theory

• AbstractToricVarieties -- links abstract simplicial (normal) toric varieties to Schubert2
• Book3264Examples -- examples to accompany the eponymous book by Eisenbud and Harris
• CharacteristicClasses -- 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 -- computations in graded Lie algebras
• HighestWeights -- decompose free resolutions and graded modules with a semisimple Lie group action
• LieTypes -- common types and methods for Lie groups and Lie algebras
• WeylGroups -- root systems and Weyl groups

Linear Algebra

• LLLBases -- Lenstra-Lenstra-Lovasz bases

Matroids

• GKMVarieties -- computations with GKM manifolds and moment graphs
• HyperplaneArrangements -- manipulating finite sets of hyperplanes
• Matroids -- a package for computations with matroids
• SlackIdeals -- Slack ideals of polytopes and matroids

Miscellaneous

• 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

• AssociativeAlgebras -- Noncommutative algebra
• NCAlgebra -- data types for noncommutative algebras

Numerical Algebraic Geometry

• Bertini -- interface to Bertini
• DecomposableSparseSystems -- Solving decomposable sparse systems
• EigenSolver -- polynomial system solver via eigen-computations
• EllipticIntegrals -- uniformization of elliptic curves
• MonodromySolver -- solving polynomial systems via monodromy
• NAGtypes -- types used in Numerical Algebraic Geometry
• NoetherianOperators -- algorithms for computing local dual spaces and sets of Noetherian operators
• NumericalAlgebraicGeometry -- numerical algebraic geometry
• NumericalImplicitization -- numerical invariants of images of varieties
• NumericalSchubertCalculus -- numerical methods in Schubert Calculus
• NumericSolutions -- solving systems of polynomial equalities
• PHCpack -- interface to PHCpack
• SLPexpressions -- straight line programs and algebraic circuits

Numerical Linear Algebra

• NumericalLinearAlgebra -- numerically compute local dual space and Hilbert functions

Polyomino Ideals

• PolyominoIdeals -- binomial ideals of collections of cells

Polytopes

• MatchingFields -- Matching Fields in Macaulay2

Projective Algebraic Geometry

• Isomorphism -- Probabilistic test of isomorphism between modules
• MultiprojectiveVarieties -- multi-projective varieties and multi-rational maps

Real Algebraic Geometry

• CoincidentRootLoci -- coincident root loci
• RealRoots -- Package for symbolically exploring, counting, and locating real solutions to general polynomial systems
• SemidefiniteProgramming -- semidefinite programming
• SumsOfSquares -- sums of squares

Representation Theory

• DeterminantalRepresentations -- determinantal representations
• InvariantRing -- invariants of group actions
• PieriMaps -- maps between representations of the general linear group based on the Pieri formulas
• SchurComplexes -- Schur functors of complexes
• SchurFunctors -- Schur modules and maps between them
• SchurRings -- representation rings of general linear groups and of symmetric groups
• SLnEquivariantMatrices -- file ancillary to the paper "A construction of equivariant bundles on the space of symmetric forms"
• SpechtModule -- invariants for permutation groups
• SymmetricPolynomials -- symmetric polynomials

SAGBI Basis

• MatchingFields -- Matching Fields in Macaulay2

Statistics

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

System

• 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

• MatchingFields -- Matching Fields in Macaulay2

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 -- 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 -- vector bundles on toric varieties

Uncategorized

• AInfinity -- AInfinity structures on free resolutions
• BettiCharacters -- finite group characters on free resolutions and graded modules
• CellularResolutions -- A package for cellular resolutions of monomial ideals
• ExteriorModules -- monomial modules over exterior algebras
• FastMinors -- faster linear algebra operations
• FunctionFieldDesingularization -- desingularization of function fields
• GroebnerStrata -- a Macaulay2 package for computing Groebner loci in Hilbert schemes
• HomotopyLieAlgebra -- Homotopy Lie algebra
• Jets -- compute jets of various algebraic, geometric and combinatorial objects
• LinearTruncations -- find the multigraded truncations that give linear resolutions
• MixedMultiplicity -- Mixed Multiplicities of ideals
• MonomialIntegerPrograms -- using integer programming for fast computations with monomial ideals
• NumericalCertification -- numerical certification
• Probability -- basic probability functions
• PseudomonomialPrimaryDecomposition -- Primary decomposition of square free pseudomonomial ideals
• QuaternaryQuartics -- code to support the paper 'Quaternary Quartic Forms and Gorenstein Rings'
• RandomPoints -- find a point in a given variety over a finite field
• SagbiGbDetection -- this package verifies whether the given generators of an ideal form the Gr"obner basis or whether the given generators of a finitely generated subalgebra of a polynomial ring are the SAGBI basis
• SubalgebraBases -- Canonical subalgebra bases (aka SAGBI/Khovanskii bases)
• SuperLinearAlgebra -- computations related to supermatrices
• ThinSincereQuivers -- Construction of flow polytopes and their associated quivers
• Tropical -- A package for doing computations in tropical geometry
• TSpreadIdeals -- A Macaulay2 package to deal with t-spread ideals of a polynomial ring
• WhitneyStratifications -- Compute Whitney Stratifications Algebraically