Dear Macaulay2 users,
We announce the availability of Macaulay2 version 1.6. It includes the
following new packages:
- PushForward, a package for for computing the push-forward functor for
finite ring maps, by Claudiu Raicu.
- EliminationMatrices, a package for computing resultants, by Nicolás Botbol,
Laurent Busé, and Manuel Dubinsky.
- EllipticIntegrals, a package for numerical computation of elliptic
integrals and elliptic functions, by Dan Grayson.
- Triplets, a package for computing Betti diagrams and hypercohomology tables
associated to triplets of degree sequences, by Gunnar Floystad.
- CompleteIntersectionResolutions, a package for analyzing the asymptotic
structure of minimal resolutions over a complete intersection, by David
Eisenbud.
They supplement the following packages, which were first released with version
1.5:
- Nauty and NautyGraphs, packages for an interface to the program nauty,
which provides efficient methods for determining whether graphs are
isomorphic, generating all graphs with particular properties, generating
random graphs, and more, by David Cook II.
- NumericalAlgebraicGeometry, a package for using polynomial homotopy
continuation to solve systems of polynomial equations and describing
positive-dimensional complex algebraic varieties, by Anton Leykin.
- Binomials, a package for binomial ideals with a particular focus on
intersection decompositions and associated primes, by Thomas Kahle.
- BIBasis, a package for constructing reduced Pommaret and Gröbner bases in a
Boolean ring, by Mikhail Zinin.
- CharacteristicClasses, a package for degrees of Chern classes and other
characteristic classes of projective schemes, by Christine Jost.
- KustinMiller, a package for unprojection and the Kustin-Miller complex
construction, by Janko Boehm and Stavros Papadakis. It has since been been
published in JSAG.
- MonomialAlgebras, a package for decomposing a monomial algebra as a module
over a subalgebra, by David Eisenbud, Janko Boehm, and Max Nitsche.
- MonomialMultiplierIdeals, a package for computing multiplier ideals of
monomial ideals, by Zach Teitler.
- QthPower, a package for computing the integral closure of type I affine
domains, by Douglas A. Leonard.
- RandomObjects, RandomCanonicalCurves, RandomCurves (missing documentation),
RandomGenus14Curves, RandomPlaneCurves (missing documentation), and
RandomSpaceCurves, packages for the construction of random points of
unirational moduli spaces, by various subsets of Hans-Christian Graf
v. Bothmer, Florian Geiss, and Frank-Olaf Schreyer.
- TensorComplexes, a package for multilinear algebra for the construction of
tensor complexes, by David Eisenbud, Daniel Erman, Gregory G. Smith, and
Dumitru Stamate.
- VersalDeformations, a package for calculating tangent and obstruction
spaces as well as power series solutions for deformation problems involving
isolated singularities and projective schemes, by Nathan Owen Ilten. It
has since been been published in JSAG.
See
for the list of changes since version 1.5.
Compiled distributions are available for most operating systems at
week.
Those wishing to compile further distributions may use the tag
"release-1.6-stable-20130514" in the github repository at
Let us know if you have any difficulties. A convenient way to report an issue,
after signing up for "github", is available for your use at