Macaulay2 v1.22

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:
  • 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.
  • LinearTruncations, a package by Lauren Cranton Heller, David Eisenbud, and Navid Nemati for finding multigraded truncations that give linear resolutions, has been published.
  • RationalMaps, a package by Karl Schwede, Daniel Smolkin, S. Hamid Hassanzadeh, and C. J. Bott, for working with rational maps, has been published.
  • PseudomonomialPrimaryDecomposition, a package by Alan A. Veliz-Cuba for primary decomposition of square free pseudomonomial ideals, has been published.
  • 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.
  • 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.