Macaulay2 v1.26.06

New GitHub Contributors and Package Authors

• Daniel Dale @ddale27 made their first contribution in #4361
• Ashley Dean
• Alex Epelde @alejo7797 made their first contribution in #4303
• Oscar Fernandez-Ramos
• Hugh Geller
• Friedemann Groh
• Connor Haynes
• Will Huang @whuang259 made their first contribution in #4353
• David K. Johnson
• Trevor Karn @trevorkarn made their first contribution in #4348
• Guanyu Li
• Yu Olivier Li
• Theodore Wittmer Lysek
• Rebecca R.G @rebeccarg made their first contribution in #4372
• Eduardo Saenz De Cabezon Irigaray
• Andrew Tawfeek @andrew-tawfeek made their first contribution in #4381
• Weijia Wang @wegank made their first contribution in #4304

ChangeLog

• new packages:
  • DirectSummands, a package by Devlin Mallory and Mahrud Sayrafi for computing direct sum decompositions of modules and coherent sheaves, has been added.
  • EuclideanDistanceDegree, a package by Jose Israel Rodriguez and Will Huang for producing critical equations and computing ED degrees, has been added.
  • LanguageServer, a package by Doug Torrance implementing the Language Server Protocol for Macaulay2, has been added, along with a new M2-language-server binary for use with LSP-compatible editors.
  • NeuralIdeals, a package by Hugh Geller and Rebecca R.G. for canonical forms of neural ideals, has been added.
  • ResultantComplexes, a package by Friedemann Groh for calculating resultants using subdivisions and Canny Emiris shift of Newton polytopes, has been added.
  • TestAudit, a package by Taylor Brysiewicz, Ashley Dean, Connor Haynes, David K. Johnson, Guanyu Li, and Keller VandeBogert for auditing tests in Macaulay2 packages, has been added.
  • WeierstrassSemigroups, a package by David Eisenbud and Frank-Olaf Schreyer for computing smoothing families for Weierstrass semigroups, has been added.
• packages that have been published and certified:
  • PathSignatures, a package by Felix Lotter, Oriol Reig, Angelo El Saliby, and Carlos Amendola for working with algebraic path signatures, has been published.
  • ResultantComplexes, a package by Friedemann Groh for calculating resultants using subdivisions and Canny Emiris shift of Newton polytopes, has been published.
• improved packages:
  • ConnectionMatrices has been updated to version 1.1, including function renames (notably connectionMatrices → pfaffianSystem), additional examples, and internal simplifications.
  • DGAlgebras has been updated to version 2.1, fixing minimalSemifreeResolution to correctly produce minimal outputs on mixed-degree rings, and strengthening isMinimalSemifreeResolution to also verify acyclicity.
  • FastMinors has been updated to version 1.3.1, fixing a bug in projDim and adding functionality to verify non-regularity in codimension $n$ via regularInCodimension(...,VerifyNonRegular=>...), together with corresponding documentation and tests.
  • IntegralClosure has been updated to version 1.11 with fixes to conductor computations for inhomogeneous ring maps and integral closures, along with documentation improvements and maintenance updates.
  • InvariantRing has been updated to version 2.5, fixing bugs and speeding up the algorithm for elementary abelian $p$-groups.
  • RandomCurves has been updated to version 1.0, merging in the functionality of the packages RandomCanonicalCurves, RandomGenus14Curves, RandomPlaneCurves, and RandomSpaceCurves, which have been removed.
  • ToricTopology has been updated to version 1.2 with a refactored package structure, streamlined interfaces for Betti number and Euler characteristic computations, expanded support for normal toric varieties, bug fixes to characteristic class calculations, and enhanced documentation and testing.
  • Triangulations has been updated to version 0.6 with new triangulation capabilities, enhanced support for large and non-acyclic configurations, additional engine-level geometric computations, and improved documentation.
  • Visualize has been updated to version 1.10, with minor updates to the JavaScript code.
  • Thanks to participants of the Future of Macaulay2 workshop at Georgia Tech in May 2026, nearly every package distributed with Macaulay2 has expanded documentation and test coverage. If you maintain a package, please review the new documentation and tests and open an issue or pull request if anything needs to be added, removed, or revised.
• functionality added or improved:
  • Using augmented assignment with mutable hash tables is now thread safe.
  • The String _ List method has been added for creating substrings.
  • A number of improvements have been made to the debugger:
    • The finish command is new, allowing execution to continue until the current stack frame completes.
    • The breakpoint keyword is now documented, with improved functionality.
  • The new function canUseHilbertHint checks whether Hilbert-driven Gröbner basis computation is applicable to a given ring, ideal, module, or matrix. Documentation for using a Hilbert hint for a Groebner basis calculation has also been added.

Full Changelog: release-1.26.05...release-1.26.06