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.

• AdjointIdeal -- Adjoint ideals of plane curves and related computations
• BeginningMacaulay2 -- Mathematicians' Introduction to Macaulay2
• Benchmark -- a standard Macaulay2 benchmark
• BGG -- Bernstein-Gelfand-Gelfand correspondence
• BIBasis -- Involutive Pommaret basis in a Boolean ring
• 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 and Segre classes
• Classic -- a classic Macaulay parser
• ConvexInterface -- Interface to Convex
• ConwayPolynomials -- a database of Conway polynomials
• Cyclotomic -- routines for cyclotomic fields
• Depth -- aids in computations related to depth
• DGAlgebras -- Data type for DG algebras
• Dmodules -- functions for computations with D-modules
• EdgeIdeals -- a package for edge ideals.
• Elimination -- a package for elimination of variables
• FirstPackage -- an example Macaulay2 package
• FormalGroupLaws -- Package to deal with commutative formal group laws
• FourierMotzkin -- convex hulls and polar cones
• FourTiTwo -- Interface to 4ti2
• GenericInitialIdeal -- find the generic initial ideal of a given ideal
• gfanInterface -- Interface to A. Jensen's gfan package
• GraphicalModels -- A package for discrete and Gaussian statistical 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
• LexIdeals -- A Macaulay 2 package for manipulating lexicographic-type monomial ideals
• LLLBases -- a package for computing Lenstra-Lenstra-Lovasz bases
• LocalRings -- Local rings at the origin
• 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
• NautyGraphs -- Interface to nauty (Graphs fork)
• NoetherNormalization -- place an ideal in Noether normal position
• Normaliz -- a package to use Normaliz in Macaulay 2
• NormalToricVarieties -- normal toric varieties
• NumericalAlgebraicGeometry -- Numerical Algebraic Geometry
• OpenMath -- OpenMath for Macaulay2
• PackageTemplate -- an example Macaulay2 package
• Parametrization -- Rational parametrization of rational plane curves and related computations
• Parsing -- a framework for creating recursive descent parsers
• PHCpack -- Interface to PHCpack
• 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 posets and order complexes
• PrimaryDecomposition -- functions for primary decomposition (pre-loaded)
• QthPower -- An implementation of the qth-Power algorithm
• RandomCanonicalCurves -- Construction of random smooth canonical curves up to genus 14
• RandomCurves (missing documentation) -- Construction of random curves
• RandomGenus14Curves -- Construction of random smooth curves of genus 14
• RandomObjects -- a framework for making random objects in algebraic geometry
• RandomPlaneCurves (missing documentation) -- 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
• 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
• SCSCP -- SCSCP for Macaulay2
• Serialization -- reversible conversion of all Macaulay2 objects to strings
• SimpleDoc -- a simple documentation function
• SimplicialComplexes -- simplicial complexes
• SimplicialDecomposability -- various decomposability routines for simplicial complexes
• SRdeformations -- Deformations of Stanley-Reisner rings and related computations
• 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
• Units (missing documentation) -- 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