changes, 1.26.06

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.

The source of this document is in Macaulay2Doc/changes.m2:120:0.