Macaulay2 v1.24.11

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:
  • 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.
  • SpecialFanoFourfolds, a package by Giovanni Staglianò for Hodge-special fourfolds, has been published.
  • 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 MonomialIdeal objects.
  • The function remove, which previously had no return value, now returns the value that was removed.
  • The function changeDirectory, for changing the working directory, has been added.
  • Many numerical functions that previously did not accept CC or RRi arguments now do.
  • The functions selectKeys, selectValues, and selectPairs for selecting from hash tables have been added.
  • It is now possible to edit the list of packages that are loaded when Macaulay2 starts up by modifying the list Core#"preloaded packages" in init.m2.
  • The classes Constant, InfiniteNumber and IndeterminateNumber are now all subclasses of Number.
  • Hash codes are now unsigned 64-bit integers, vastly reducing the probability of running out when creating new types.
  • It is now possible to compare GroebnerBasis objects using ==.
  • Items in the "ways to use" section of documentation pages are now formatted using KBD.
  • It is now possible to use try with then, but without else.
  • When running Macaulay2 without the --no-readline option, command history is now saved between sessions. This history can be found in the file history.m2 in the applicationDirectory.
  • The error message is now more informative when a key is not found in a hash table.
  • New methods for scalar division, e.g., Matrix / Number have been added.
  • The restriction on promotion/lifting has been relaxed so one can promote/lift between any two rings, and apply this to fraction fields and tensor products.
• functionality changed in a way that could break code:
  • The behavior of basis over tower rings has changed. Previously basis was computed over the most recent coefficient ring, but now it is computed over the first coefficient ring. Previous behavior can be mimicked by passing the option basis(..., Variables => gens R).
  • Testing equality of zero modules using == so that two zero modules are equal if they are equal as cosets. The only implication is that zero submodules of any free module are now the same, but zero submodules of arbitrary modules are only the same if they have the same ambient module.
  • The syntactic sugar T OP= f for installing augmented assignment methods has been removed.
  • TEST is now a keyword instead of a method function. It functionality remains essentially unchanged. However, its FileName option has been removed. Use TEST get(...) instead when storing the code for a test in a file.