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:
  • "a gold star" PathSignatures, a package by Felix Lotter, Oriol Reig, Angelo El Saliby, and Carlos Amendola for working with algebraic path signatures, has been published.
  • "a gold star" 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 ...

Contributors

• @wegank
• @alejo7797
• @rebeccarg
• @whuang259
• @trevorkarn
• @andrew-tawfeek
• @ddale27

New GitHub Contributors and Package Authors

• Abhay Goel
• Alexandra Seceleanu @aseceleanu made their first contribution in #4056
• Anna Natalie Chlopecki
• Anne Fayolle
• Aolong Li
• Burt Totaro @btotaro made their first contribution in #4099
• Cheng Chen
• Eamon Quinlan-Gallego
• Joel Dodge @joel-dodge made their first contribution in #4252
• Manav Batavia
• Michael DeBellevue
• Michael Perlman @michaelPerlman made their first contribution in #4132
• Penelope Beall
• Ross George @coolcuber made their first contribution in #4223
• Teppei Takamatsu
• Wanchun / Rosie Shen
• Will Huang
• Xiangru Zeng @Jazengm made their first contribution in #4045
• Yu Olivier Li

ChangeLog

• new packages:
  • EliminationTemplates, a package by Manav Batavia, Cheng Chen, Wanchun / Rosie Shen, Anna Natalie Chlopecki, Tim Duff, Will Huang, and Aolong Li for elimination templates, has been added.
  • MacaulayPosets, a package by Penelope Beall and Yu Olivier Li for Macaulay posets, has been added.
  • MRDI, a package by Doug Torrance for serializing algebraic data with .mrdi files, has been added.
  • Padic, a package by Doug Torrance for p-adic numbers, has been added.
  • SimplicialModules, a package by Keller VandeBogert and Michael DeBellevue for working in the category of simplicial modules, has been added.
  • WittVectors, a package by Anne Fayolle, Abhay Goel, Devlin Mallory, Eamon Quinlan-Gallego, and Teppei Takamatsu for computations with Witt vectors, Frobenius lifts, and quasi-F-splittings, has been added.
• packages that have been published and certified:
  • "a gold star" ThinSincereQuivers, a package by Mary Barker and Patricio Gallardo for constructing flow polytopes and their associated quivers, has been published.
• improved packages:
  • BettiCharacters has been updated to version 2.6. Changes include significant optimizations of the core algorithm, a new option for semidirect products of finite groups acting on tori, and methods for hyperoctahedral groups. This version introduces breaking changes to the Character type, making it incompatible with previous versions.
  • CellularResolutions has been updated to version 1.1 with improved documentation.
  • Complexes has been updated to version 1.0 and is now the default homological algebra package. To construct a complex, use complex, which returns a Complex object. This replaces chainComplex and ChainComplex. For the legacy behavior, the OldChainComplexes package is still available. Add HomologicalAlgebraPackage = "OldChainComplexes" to your initialization file to make it the default.
  • DGAlgebras has been updated to version 2.0, introducing DGModule and related types with core homological operations, adding minimal semifree DG resolutions, overhauling documentation of key constructors with examples, and expanding test coverage.
  • ForeignFunctions has been updated to version 0.7 with improved garbage collection of GMP and MPFR objects.
  • InvariantRing has been updated to version 2.4, which includes a new algorithm for invariants of elementary abelian $p$-groups, as well as bugfixes and documentation improvements. The permutationMatrix method now takes arrays as inputs.
  • JSON has been updated to version 0.6 with significant improvements to parsing speed thanks to the Jansson library.
  • JSONRPC has been updated to version 0.2 with improved error messages.
  • LieAlgebraRepresentations has been updated to version 1.01, adding a dual construction for representations, fixing Cartan-basis inconsistencies in spin and half-spin matrix computations, and updating documentation to reflect a now-proven formula.
  • MatchingFields has been updated to version 1.3 with overhauls to the internals of the main datatype, simpliyfing the logic and removing duplicated code.
  • PieriMaps has been updated to version 2.0, adding dual (projection-direction) Pieri and Littlewood-Richardson maps with point evaluators, supporting multiple basis conventions with conversions, and providing equivariance/well-definedness checks and symbolic representations of maps.
  • Probability has been updated to version 0.7 with minor updates.
  • RInterface has been updated to version 0.2, adding hash table-environment conversion, string-based evaluation via RValue (missing documentation)
    , a persistent RContext (missing documentation)
    for shared environments, formula construction with RObject ~ RObject (missing documentation)
    , and improved documentation and testing.
  • SchurComplexes has been updated to version 1.2, fixing a bug with function schurCom...

Contributors

• @aseceleanu
• @coolcuber
• @joel-dodge
• @Jazengm
• @michaelPerlman
• @btotaro

New GitHub Contributors and Package Authors

• Stephanie Atherton
• David Chan
• Trung Chau
• Somak Dutta
• David Favero
• John Graf (@j-graf) made their first contribution in #3939
• Felix Lotter
• Benjamin Mudrak
• Luke Oeding (@LukeOeding) made their first contribution in #3752
• Gabriel Ong (@wgabrielong) made their first contribution in #4002
• Sasha Pevzner
• Oriol Reig
• Ruzho Sagayaraj
• Angelo El Saliby
• Kumar Sannidhya Shukla (@feynhat) made their first contribution in #4019
• Hunter Simper
• Ben Spitz (@diracdeltafunk) made their first contribution in #3959
• Timothy Tribone
• Keller VandeBogert (@kellerlv) made their first contribution in #3948
• Chase Vogeli
• Chenglu Wang

ChangeLog

• upcoming breaking changes:
  • Beginning in the 1.26.05 release, current routines involving chain complexes and graded modules will be superseded by new functorial homological algebra routines in the Complexes package. Users and package developers are encouraged to preview the upcoming changes by adding HomologicalAlgebraPackage = "Complexes" to their initialization file and reporting any bugs via email or GitHub.
• packages that have been published and certified:
  • "a gold star" ExteriorExtensions, a package by Luke Oeding for building an algebra extending an exterior algebra, has been published.
  • "a gold star" MatrixSchubert, a package by Ayah Almousa, Sean Grate, Daoji Huang, Patricia Klein, Adam LaClair, Yuyuan Luo, and Joseph McDonough for functions for investigating ASM and matrix Schubert varieties, has been published.
  • "a gold star" MultigradedBGG, a package by Maya Banks, Michael K. Brown, Tara Gomes, Prashanth Sridhar, Eduardo Torres Davila, and Sasha Zotine for the multigraded BGG correspondence and differential modules, has been published.
• new packages:
  • CpMackeyFunctors, a package by Thomas Brazelton, David Chan, Benjamin Mudrak, Ben Spitz, Chase Vogeli, Chenglu Wang, Michael R. Zeng, and Sasha Zotine for homological algebra with Mackey functors for cyclic groups of prime order, has been added.
  • ExteriorExtensions, a package by Luke Oeding for building an algebra extending an exterior algebra, has been added.
  • JSONRPC, a package by Doug Torrance for implementing JSON-RPC servers, has been added.
  • MatrixFactorizations, a package by David Favero, Sasha Pevzner, Timothy Tribone, and Keller VandeBogert for computing with matrix factorizations of different lengths, has been added.
  • NonPrincipalTestIdeals, a package by Trung Chau, Karl Schwede, and Hunter Simper for singularities of pairs with non-principal ideals, has been added.
  • PathSignatures, a package by Felix Lotter, Oriol Reig, Angelo El Saliby, and Carlos Amendola for working with algebraic path signatures, has been added.
  • Tableaux, a package by John Graf for constructing skew tableaux, has been added.
• improved packages:
  • A1BrouwerDegrees has been updated to version 2.0, with significant updates.
  • CharacteristicClasses has been updated to version 2.1, with a new method to compute the Euler characteristic of a complex affine variety.
  • ForeignFunctions has been updated to version 0.6.
  • GeometricDecomposability has been updated to version 1.4.3, adding aliases for methods with long names.
  • JSON has been updated to version 0.5.
  • LieAlgebraRepresentations (formerly LieTypes) has been updated to version 1.0 with a major expansion.
  • Msolve has been updated to version 1.24.06, fixing a bug in msolveRUR.
  • MultigradedImplicitization has been updated to version 1.1, with an option to use interpolation to compute polynomials in multigraded components and changes to speed up multidegree and basis computation.
  • PolyominoIdeals has been updated to version 2.0, including some functions that help with computations for collection of cells.
  • Probability has been updated to version 0.6.
  • Python has been updated to version 1.0 with significant updates, including the new PythonContext class and the method pythonRunScript.
  • SCMAlgebras has been updated to version 1.1, adding new methods. It can now compute the unmixed layer of an ideal, check for unmixedness, and check for canonical Cohen-Macaulayness.
  • SRdeformations has been updated to version 0.53, using Polyhedra instead of <a title="for computations with convex polyhedra, cones, and fans" href="https://macaulay2.com/doc/Macau...

Contributors

• @diracdeltafunk
• @LukeOeding
• @feynhat
• @kellerlv
• @wgabrielong
• @j-graf

New GitHub Contributors and Package Authors

• Dalton Bidleman
• Tobias Boege (@taboege) made their first pull request in #3628
• Anna Browosky (@anna-brosowsky) made their first pull request in #3703
• John Cobb
• Erin Connelly
• Vincenzo Galgano
• Alheydis Geiger (@AlheydisGeiger) made their first pull request in #3602
• Paul Goerlach
• Zhuang He
• Rohan Joshi (@rohansjoshi) made their first pull request in #3691
• Jack Kendrick
• Joris Koefler
• Annet Kyomuhangi
• Felix Lotter (@felixlotter) made their first pull request in #3611
• Giacomo Maletto
• Emanuela Marangone (@EmanuelaMarangone) made their first contribution in #3706
• Alexander Milner
• Elke Neuhaus
• Irem Portakal (@iremportakal) made their first contribution in #3773
• Corrado Possieri (@Corrado-possieri) made their first pull request in #3633
• Ethan Reed
• Anna-Laura Sattelberger
• Hendrik Schroeder
• Hannah Tillmann-Morris
• Nicolas Weiss
• Francesca Zaffalon
• Michael Zeng
• Chenyang Zhao

Upcoming breaking changes

• Beginning in the 1.25.11 release, current routines involving chain complexes and graded modules will be superseded by new functorial homological algebra routines in the Complexes package. Users and package developers are encouraged to preview the upcoming changes by adding HomologicalAlgebraPackage = "Complexes" to their initialization file and reporting any bugs via email or GitHub.

Changelog

• packages that have been published and certified:
  • "a gold star" AbstractSimplicialComplexes, a package by Nathan Grieve for abstract simplicial complexes, has been published.
  • "a gold star" ForeignFunctions, a package by Doug Torrance providing a foreign function interface, has been published.
  • "a gold star" RealRoots, a package by Jordy Lopez Garcia, Kelly Maluccio, Frank Sottile, and Thomas Yahl for symbolically exploring, counting, and locating real solutions to general polynomial systems, has been published.
• new packages:
  • The package OldChainComplexes has been added to preserve the existing functionality of chain complexes, graded modules, and resolutions for backwards compatibility.
  • AllMarkovBases, a package by Alexander Milner and Oliver Clarke for computing all minimal Markov bases of a configuration matrix, has been added.
  • Brackets, a package by Dalton Bidleman, Tim Duff, Jack Kendrick, and Michael Zeng for brackets, Grassmann-Cayley algebras, and projective geometry, has been added.
  • ConnectionMatrices, a package by Paul Goerlach, Joris Koefler, Mahrud Sayrafi, Anna-Laura Sattelberger, Hendrik Schroeder, Nicolas Weiss, and Francesca Zaffalon for connection matrices and integrable systems from D-ideals, has been added.
  • GameTheory, a package by Erin Connelly, Vincenzo Galgano, Zhuang He, Lars Kastner, Giacomo Maletto, Elke Neuhaus, Irem Portakal, Hannah Tillmann-Morris, and Chenyang Zhao for computing equilibria in game theory, has been added.
  • IncidenceCorrespondenceCohomology, a package by Annet Kyomuhangi, Emanuela Marangone, Claudiu Raicu, and Ethan Reed for cohomology on the incidence correspondence, bundles of principal parts, and Lefschetz properties, has been added.
  • IntegerProgramming, a package by Mike Cummings for solving integer programs with Gröbner bases, has been added.
  • Oscillators, a package by John Cobb, Hal Schenck, and Michael E. Stillman for analyzing graph oscillators, has been added.
  • ToricHigherDirectImages, a package by Sasha Zotine for computations involving pushforwards and higher direct images of toric maps, has been added.
• improved packages:
  • AbstractSimplicialComplexes has been updated to version 1.1 with cosmetic updates.
  • ForeignFunctions has been updated to version 0.5.
  • GeometricDecomposability has been updated to version 1.4.2 with minor updates.
  • JSON has been updated to version 0.4.
  • LieTypes has been updated to version 0.9 with various improvements.
  • MatrixSchubert has been updated to version 1.2 with a bug fix and documentation improvements.
  • MultigradedBGG has been updated to version 1.2 with documentation improvements.
  • Permutations has been updated to version 1.1, adding several new methods.
  • RealRoots has been updated to version 1.1.
  • Style has been updated to version 1.1 and now exports a generateGrammar method for generating grammars for syntax highlighting.
  • TerraciniLoci has been updated to version 0.3.
  • ThinSincereQuivers has been updated to version 0.1 with expanded docume...

Contributors

• @anna-brosowsky
• @rohansjoshi
• @Corrado-possieri
• @taboege
• @iremportakal
• @AlheydisGeiger
• @felixlotter
• @EmanuelaMarangone

New GitHub Contributors and Package Authors

• Joseph Cummings
• Benjamin Hollering (@bkholler) made their first contribution in #3271
• Sean Grate (@TheGrateSalmon) made their first pull request in #3393
• Nathan Grieve (@n-m-g) made their first pull request in #3547
• Ernesto Lax (@ErnestoLax) made their first contribution in #3504
• Devlin Mallory (@Devlin-Mallory) made their first pull request in #3257
• Joe McDonough (@jmcdonough98) made their first pull request in #3353
• Sasha Zotine (@sashahbc) made their first pull request in #3445

Changelog

• packages that have been published and certified:
  • "a gold star" A1BrouwerDegrees, a package by Nikita Borisov, Thomas Brazelton, Frenly Espino, Tom Hagedorn, Zhaobo Han, Jordy Lopez Garcia, Joel Louwsma, Wern Juin Gabriel Ong, and Andrew Tawfeek for A1-Brouwer degree computations, has been published.
  • "a gold star" SpecialFanoFourfolds, a package by Giovanni Staglianò for Hodge-special fourfolds, has been published.
  • "a gold star" SubalgebraBases, a package by Michael Burr, Oliver Clarke, Timothy Duff, Jackson Leaman, Nathan Nichols, and Elise Walker for Canonical subalgebra bases (aka SAGBI/Khovanskii bases), has been published.
• new packages:
  • AbstractSimplicialComplexes, a package by Nathan Grieve for abstract simplicial complexes, has been added.
  • Msolve, a package by Martin Helmer, Mike Stillman, and Anton Leykin for interfacing with the msolve library for solving multivariate polynomial systems using Groebner Bases, has been added.
  • MultigradedImplicitization, a package by Joseph Cummings and Benjamin Hollering for solving implicitization problems using multigradings, has been added.
  • NumericalSemigroups, a package by David Eisenbud and Frank-Olaf Schreyer for computing the Apery set and invariants of a numerical semigroup ring, has been added.
  • Permutations, a package by Sean Grate for functions for working with permutations, has been added.
  • SCMAlgebras, a package by Ernesto Lax for sequentially Cohen-Macaulay modules or ideals, has been added.
• improved packages:
  • A1BrouwerDegrees has been updated to version 1.1 with bug fixes and improved documentation.
  • AssociativeAlgebras has been updated to version 0.9 with new functions related to derivation-quotient algebras, superpotentials, and Nakayama automorphisms of m-Koszul Artin-Schelter regular algebras.
  • ForeignFunctions has been updated to version 0.4 with improved documentation.
  • Jets has been updated to version 1.2 with improvements and new methods for principal jets.
  • LieTypes has been updated to version 0.82 with bug fixes, improved documentation, and a new method, zeroModule.
  • PositivityToricBundles has been updated to version 1.9 with bug fixes and a new method, wellformedBundleFiltrations.
  • Probability has been updated to version 0.5 with improved documentation.
  • Seminormalization has been updated to version 0.22 with several improvements.
  • TerraciniLoci has been updated to version 0.2 with minor updates.
  • Triangulations has been updated to version 0.2 with a bug fix.
  • VectorGraphics has been updated to version 1.1 with several improvements.
  • Visualize has been updated to version 1.6 with improvements to the JavaScript code.
• functionality added or improved:
  • A new function headlines is now available for viewing a table of documentation headlines from a list produced by methods, about, or apropos.
  • It is now possible to construct an empty matrix by passing an empty list to matrix.
  • LUdecomposition now supports empty real and complex matrices.
  • The version hash table now contains a "git branch" key.
  • The version number displayed in the startup banner now includes git information.
  • copyright is now a command that displays the Copyright and license documentation.
  • A number of improvements have been made to methods dealing with <a title="the clas...

Contributors

• @n-m-g
• @jmcdonough98
• @seangrate
• @bkholler
• @sashahbc
• @Devlin-Mallory
• @ErnestoLax

New GitHub Contributors and Package Authors

• Antonino Ficarra
• Maya Banks
• Alessio Borzì
• Eduardo Torres Davila
• Antonino Ficarra
• Tara Gomes
• Emanuele Sgroi (@EmanueleSgroi) made their first contribution in #3154
• Prashanth Sridhar

Changelog

• packages that have been published and certified:
  • "a gold star" CotangentSchubert, a package by Paul Zinn-Justin for Cotangent Schubert calculus, has been published.
  • "a gold star" GeometricDecomposability, a package by Mike Cummings and Adam Van Tuyl to check whether ideals are geometrically vertex decomposable, has been published.
  • "a gold star" InvariantRing, a package by Luigi Ferraro, Federico Galetto, Francesca Gandini, Hang Huang, Thomas Hawes, Matthew Mastroeni, and Xianglong Ni for invariants of group actions, has been published.
  • "a gold star" MultiplicitySequence, a package by Justin Chen, Youngsu Kim, and Jonathan Montaño for computing the multiplicity sequence of an ideal, has been published.
  • "a gold star" Probability, a package by Doug Torrance for basic probability functions, has been published.
  • "a gold star" TropicalToric, a package by Alessio Borzì on tropical methods for toric intersection theory, has been published.
• new packages:
  • MultigradedBGG, a package by Maya Banks, Michael K. Brown, Tara Gomes, Prashanth Sridhar, Eduardo Torres Davila, and Sasha Zotine for the multigraded BGG correspondence and differential modules, has been added.
  • TropicalToric, a package by Alessio Borzì on tropical methods for toric intersection theory, has been added.
  • VNumber, a package by Antonino Ficarra and Emanuele Sgroi to compute v-number of homogeneous ideals and v-function of monomial ideals, has been added.
• improved packages:
  • Many FourTiTwo methods now have a Precision option for setting the integer precision used by 4ti2.
  • GeometricDecomposability has been updated to version 1.4.1 with minor updates.
  • NumericalAlgebraicGeometry has been updated to version 1.24 with small updates.
  • PositivityToricBundles has been updated to version 1.7, adding several new methods, fixing bugs, and updating the documentation and tests.
  • ToricVectorBundles has been updated to version 1.2 with updated documentation.
  • WhitneyStratifications has been updated to version 2.03, adding new routines to stratify algebraic maps to the package. The update also includes several performance improvements and bug fixes.
• functionality added or improved:
  • It is now possible to create a fraction field of an iterated polymial ring using frac.
  • A number of new operators have been added that may be used for defining methods. See ^!, ! , ^~, ~, ^>, ^>=, ^<, ^<=, > , >=, < , <=, | , and | =.
  • A number of improvements have been made to parallelization. In particular:
    • The function getIOThreadMode has been added for determining the current I/O thread mode.
    • The functions setIOExclusive, setIOSynchronized, and setIOUnSynchronized now also accept a file as an argument.
    • The default I/O thread mode has been changed from 0 (unsynchronized) to 1 (synchronized).
    • Much of the code (e.g., reading mutable hash tables) is now thread safe.
    • The output of <a title="information about the status of the garbage collector" href="https://www.macaulay2.com/doc/Macaulay2-1.24.05/sha...

Contributors

• @EmanueleSgroi

New GitHub Contributors and Package Authors

• Ayah Almousa (@aalmousa) made their first contribution in #3022
• Nikita Borisov
• Thomas Brazelton (@tbrazel) made their first contribution in #2980
• Frenly Espino
• Francesco Galuppi
• Sean Grate
• Tom Hagedorn
• Zhaobo Han
• Daoji Huang
• Patricia Klein
• Manoj Kummini (@mkummini) made their first contribution in #2929
• Adam LaClair
• Joel Louwsma
• Yuyuan Luo
• Joseph McDonough
• Michael Morrow (@morrowmh) made their first contribution in #3049
• Wern Juin Gabriel Ong
• Michael Perlman (@mperlm3) made their first contribution in #2871
• Pierpaola Santarsiero
• Deepak Sireeshan
• Andrew Tawfeek
• Ettore Teixeira Turatti
• Pedro Teixeira (@pplt) made their first contribution in #2940
• Teresa Yu
• Jacob Zoromski
• @0-t-t-o made their first contribution in #2913
• @cel34-bath made their first contribution in #3100

Changelog

• packages that have been published and certified:
  • "a gold star" BettiCharacters, a package by Federico Galetto for finite group characters on free resolutions and graded modules, has been published.
  • "a gold star" FastMinors, a package by Boyana Martinova, Marcus Robinson, Karl Schwede, and Yuhui (Wei) Yao for faster linear algebra operations, has been published.
  • "a gold star" MixedMultiplicity, a package by Kriti Goel, Vivek Mukundan, Sudeshna Roy, and J. K. Verma for Mixed Multiplicities of ideals, has been published.
  • "a gold star" RandomPoints, a package by Sankhaneel Bisui, Zhan Jiang, Sarasij Maitra, Thai Nguyen, Frank-Olaf Schreyer, and Karl Schwede for find a point in a given variety over a finite field, has been published.
  • "a gold star" SimplicialComplexes, a package by Gregory G. Smith, Ben Hersey, and Alexandre Zotine for exploring abstract simplicial complexes within commutative algebra, has been published.
• new packages:
  • The package Dmodules is now an umbrella package which, for compatibility with old code, loads WeylAlgebras, HolonomicSystems, and BernsteinSato. The new addition WeylAlgebras, contains basic constructors and methods for working with Weyl algebras which used to be in the Dmodules package.
  • The package Varieties has been added to encapsulate existing and new functionality for working with affine and projective varieties and coherent sheaves on them. The package adds support for maps of coherent sheaves.
  • A1BrouwerDegrees, a package by Nikita Borisov, Thomas Brazelton, Frenly Espino, Tom Hagedorn, Zhaobo Han, Jordy Lopez Garcia, Joel Louwsma, Andrew Tawfeek, and Wern Juin Gabriel Ong for for working with A1-Brouwer degree computations, has been added.
  • AdjunctionForSurfaces, a package by Frank-Olaf Schreyer for Adjunction for Surfaces, has been added.
  • MatrixSchubert, a package by Ayah Almousa, Sean Grate, Daoji Huang, Patricia Klein, Adam LaClair, Yuyuan Luo, and Joseph McDonough for functions for investigating ASM and matrix Schubert varieties, has been added.
  • OIGroebnerBases, a package by Michael Morrow for OI-modules over Noetherian polynomial OI-algebras, has been added.
  • PlaneCurveLinearSeries, a package by David Eisenbud for Linear series on the normalization of a plane curve, has been added.
  • QuadraticIdealExamplesByRoos, a package by David Eisenbud, Michael Perlman, Ritvik Ramkumar, Deepak Sireeshan, Aleksandra Sobieska, Teresa Yu, and Jacob Zoromski for Examples of Quadratic Ideals with Embedding Dimension Four by Jan-Erik Roos, has been added.
  • RInterface, a package by Doug Torrance for interface to R for statistical computing, has been added.
  • TerraciniLoci, a package by Francesco Galuppi, Pierpaola Santarsiero, Doug Torrance, and Ettore Teixeira Turatti for Terracini loci of projective varieties, has been added.
  • Valuations, a package by Michael Burr, Colin Alstad, Michael Byrd, Ethan Partida, Shelby Cox, Courtney George, and Oliver Clarke for implementation of valuations for rings, has been added.
• functionality added or improved:
  • Most flexible binary operators now have a corresponding augmented assignment operator. For example, x += 1 is equivalent to x = x + 1.
  • A new type, AtomicInt, has been introduced providing atomic operations for use in parallel programs.
  • The null coalescing operator ?? has been added to the Macaulay2 language.
  • A polynomial f may now be evaluated at a ring element or sequence of ring elements x using f(x). The existing syntax, f[x], has been deprecated and may be removed in a future release. See RingElement Sequence.
  • The method isMember(RingElement,Ideal) has been added to test membership in an ideal.
  • When given just a module and no integer, hilbertFunction will now a return a function that accepts integers an...

Contributors

• @pplt
• @mperlm3
• @aalmousa
• @tbrazel
• @mkummini
• @cel34-bath
• @morrowmh
• @0-t-t-o

New GitHub Contributors and Package Authors

• Carmelo Cisto
• Rizwan Jahangir (@j-rizwan) made their first contribution in #2716
• Francesco Navarra
• Florian Weimer (@fweimer-rh) made their first contribution in #2814

Changelog

• packages that have been published and certified:
  • "a gold star" GraphicalModelsMLE, a package by Carlos Amendola, Luis David Garcia Puente, Roser Homs Pons, Olga Kuznetsova, Harshit J Motwani, Elina Robeva, and David Swinarski, for maximum likelihood estimates for graphical statistical models, has been published.
  • "a gold star" LinearTruncations, a package by Lauren Cranton Heller, David Eisenbud, and Navid Nemati for finding multigraded truncations that give linear resolutions, has been published.
  • "a gold star" RationalMaps, a package by Karl Schwede, Daniel Smolkin, S. Hamid Hassanzadeh, and C. J. Bott, for working with rational maps, has been published.
  • "a gold star" PseudomonomialPrimaryDecomposition, a package by Alan A. Veliz-Cuba for primary decomposition of square free pseudomonomial ideals, has been published.
  • "a gold star" NoetherianOperators, a package by Robert Krone, Justin Chen, Marc Harkonen, Yairon Cid-Ruiz, and Anton Leykin, for numerically computing local dual spaces, Hilbert functions, and Noetherian operators, has been published.
  • "a gold star" Jets, a package by Federico Galetto and Nicholas Iammarino, for computing jets of various algebraic, geometric and combinatorial objects, has been published.
• new packages:
  • HolonomicSystems, a package by Mahrud Sayrafi, Christine Berkesch, Anton Leykin, and Harrison Tsai for holonomic systems, has been added. The code was originally in the Dmodules package.
  • BernsteinSato, a package by Anton Leykin and Harrison Tsai for Bernstein-Sato, has been added. The code was originally in the Dmodules package.
  • PolyominoIdeals, a package by Carmelo Cisto, Francesco Navarra, and Rizwan Jahangir for binomial ideals of collections of cells, has been added.
  • MatchingFields, a package by Oliver Clarke for matching fields, has been added.
  • CellularResolutions, a package by Jay Yang and Aleksandra Sobieska for cellular resolutions of monomial ideals, has been added.
  • SagbiGbDetection, a package by Viktoriia Borovik, Timothy Duff, and Elima Shehu for verifying 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, has been added.
• functionality added:
  • A RingMap object may now be raised to the 0th power if its source and target agree.
  • Matrices may now be joined with any type of number (not just integers) using | and ||.
  • The html documentation now syntax highlights Macaulay2 code by default using Prism.
  • Some improvements have been made to findProgram and runProgram.
  • A specific test from a package may now be specified using tests(ZZ,Package).
  • The html documentation now uses the HTML5 specification.
• functionality changed in a way that could break code:
  • The functions member and mutable have been renamed to isMember and isMutable, respectively. The old names still exist as synonyms, but they may be removed in a future release.
  • Raising a matrix to the 0th power will now raise an error if the source and target do not agree.
  • The value of a class's 1 key (used internally for getting multiplicative identities) should now be a function that takes an instance of the class and returns the multiplicative identity rather than the multiplicative identity itself.
  • The function urlEncode has been moved from the OnlineLookup package to Core, and its behavior has been slightly modified.
• emacs updates:
  • Several new functions have been added to for sending code to an M2 process, and the code that is sent is now highlighted briefly as a visual indicator. Refer to the "Macaulay2" dropdown menu in Emacs for more.
  • File locations that appear in Macaulay2 Interaction buffers are now handled using Compilation mode.
  • Macaulay2 is now supported in Org Mode using ob-M2.

Contributors

• @fweimer-rh
• @dr-rizwanj

New GitHub Contributors and Package Authors

• Graham Inggs (@ginggs) made their first contribution in #2535
• Alan Veliz-Cuba (@alanavc) made their first contribution in #2686
• Mike Cummings
• Vivek Mukundan

Changelog

• new packages:
  • Triangulations, a package by Mike Stillman for triangulations of polyhedra and point sets, has been added.
  • WhitneyStratifications, a package by Martin Helmer for computing Whitney stratifications algebraically, has been added.
  • JSON, a package by Doug Torrance for JSON encoding and decoding, has been added.
  • ForeignFunctions, a package by Doug Torrance for providing a foreign function interface, has been added.
  • GeometricDecomposability, a package by Mike Cummings and Adam Van Tuyl for determining whether ideals are geometrically vertex decomposable, has been added.
  • PseudomonomialPrimaryDecomposition, a package by Alan A. Veliz-Cuba for primary decomposition of square free pseudomonomial ideals, has been added.
• improved packages:
  • The package BettiCharacters has been updated to version 2.0, which introduces character tables, decompositions, and other methods for characters. The GradedCharacter type has been removed, and the Character type has been modified to accommodate both homological and internal grading in a simplied format.
• functionality added:
  • New methods, iterator and next, and a new class, Iterator have been added to allow iteration over any Macaulay2 object.
  • for loops, as well as the methods scan, apply, select, fold, accumulate, take, and join, now work with any iterable object.
  • truncate(Number) has been added, rounding numbers toward zero.
  • quotientRemainder(ZZ,ZZ) has been added, for obtaining the quotient and remainder simultaneously when performing integer division.
  • The bitwise not operator, ZZ ~ has been added.
  • A new strategy Dynamic is implemented for determinant, minors, and exteriorPower.
  • A new global variable blockMatrixForm which affects the display of matrices has been added.
  • Partial support for UTF-8 in strings has been added.
  • changeBase has been added for changing integer bases.
• functionality changed in a way that could break code:
  • remove may now be used to remove elements from mutable lists. Its previous (undocumented) behavior was equivalent to drop.
  • characters and width(Net) now split strings according to UTF-8 characters rather than bytes.

Contributors

• @ginggs
• @alanavc

New GitHub Contributors and Package Authors

• Thomas Yahl (@tjyahl) made their first contribution in #2478
• Taylor Ball
• Eduardo Camps
• Henry Chimal-Dzul
• Ben Hersey
• Delio Jaramillo-Velez
• Hiram H. Lopez
• Matthew Perkins
• Ivan Soprunov
• Avi Steiner
• German Vera
• Alexandre Zotine

Changelog

• new packages:
  • CotangentSchubert, a package by Paul Zinn-Justin for cotangent Schubert calculus, has been added.
  • OnlineLookup, a package by Paul Zinn-Justin for looking up mathematical information online, has been added.
  • MergeTeX, a package by Paul Zinn-Justin for runniung Macaulay2 code and inserting the results into a LaTeX file, has been added.
  • Probability, a package by Doug Torrance for basic probability, has been added.
  • Isomorphism, a package by David Eisenbud for probabalistic searching for isomorphisms between modules, has been added.
  • "a gold star" SchurVeronese, a package by Juliette Bruce, Daniel Erman, Steve Goldstein and Jay Yang for examining data for Veronese embeddings of projective space, has been added and published.
  • "a gold star" CodingTheory, a package by Taylor Ball, Eduardo Camps, Henry Chimal-Dzul, Delio Jaramillo-Velez, Hiram H. Lopez, Nathan Nichols, Matthew Perkins, Ivan Soprunov, German Vera, and Gwyn Whieldon for coding theory, has been added and published.
• packages that have been published and certified:
  • "a gold star" ThreadedGB, a package by Sonja Petrovic and Shahrzad Zelenberg, for computing a Groebner basis using the classical Buchberger algorithm with multiple threads, has been published.
  • "a gold star" MultiprojectiveVarieties, a package by Giovanni Staglianò for multi-projective varieties, has been published.
• improved packages:
  • The package GraphicalModelsMLE has been improved following many recommendations through its certification process. Several computations have been optimized. The names of several procedures and options have been modified.
  • The package Complexes has been improved. The documentation has been enhanced, numerous minor bugs have been fixed, and free resolutions have been implemented independent of the current ChainComplex class.
  • The package HyperplaneArrangements has been improved. It includes several improvements in the basic code, increased functionality with the Matroids package, completely rewritten documentation, numerous bug fixes, and better consistency with Macaulay2 conventions.
  • The package SimplicialComplexes has been improved. It adds constructors for many classic examples, implements a new data type for simplicial maps, incorporates many improvements to the methods, improves interoperability with Polyhedra and completely overhauls the documentation. Changes that break backwards compatiblity include changing the output of faces and facets from Matrix to List, changing the output type of fVector from HashTable to List, and replacing == with === for SimplicialComplexes.
• functionality added:
  • New functions memoizeValues and memoizeClear have been added for dealing with the values retained by functions created with memoize.
  • A new method uniquePermutations has been added. Equivalent to unique @@ permutations except faster.
  • A number of unicode symbols have been added as synonyms, e.g., Z or ⊗.
  • New numeric functions Beta, Digamma, inverseErf, regularizedBeta, inverseRegularizedBeta, regularizedGamma, and inverseRegularizedGamma, new numeric constant CatalanConstant. Gamma now accepts two arguments, for the incomplete gamma function. Numeric functions accept constants as arguments.
  • pack, reverse, and tally now support strings.
  • unique now supports all visible lists.
  • Syntax highlighting of Macaulay2 code in the HTML documentation has been added as a build-time option. Use M2CODE to indicate code to be highlighted.
• functionality changed in a way that could break code:
  • The update to SimplicialComplexes has several minor breaking changes, outlined above.

Contributors

• @tjyahl