Recent Releases of m2

m2 - Macaulay2 v1.25.05

New GitHub Contributors and Package Authors

Dalton Bidleman
Tobias Boege (@taboege) made their first pull request in https://github.com/Macaulay2/M2/pull/3628
Anna Browosky (@anna-brosowsky) made their first pull request in https://github.com/Macaulay2/M2/pull/3703
John Cobb
Erin Connelly
Vincenzo Galgano
Alheydis Geiger (@AlheydisGeiger) made their first pull request in https://github.com/Macaulay2/M2/pull/3602
Paul Goerlach
Zhuang He
Rohan Joshi (@rohansjoshi) made their first pull request in https://github.com/Macaulay2/M2/pull/3691
Jack Kendrick
Joris Koefler
Annet Kyomuhangi
Felix Lotter (@felixlotter) made their first pull request in https://github.com/Macaulay2/M2/pull/3611
Giacomo Maletto
Emanuela Marangone (@EmanuelaMarangone) made their first contribution in https://github.com/Macaulay2/M2/pull/3706
Alexander Milner
Elke Neuhaus
Irem Portakal (@iremportakal) made their first contribution in https://github.com/Macaulay2/M2/pull/3773
Corrado Possieri (@Corrado-possieri) made their first pull request in https://github.com/Macaulay2/M2/pull/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:
- AbstractSimplicialComplexes, a package by Nathan Grieve for abstract simplicial complexes, has been published.
- ForeignFunctions, a package by Doug Torrance providing a foreign function interface, has been published.
- 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 documentation, fixed typos, and functionality added.
- ToricVectorBundles has been updated to version 1.3 with a bug fix.
- Varieties has been updated to version 0.3.
- Visualize has been updated to version 1.7.
functionality added or improved:
- The profiler has been updated significantly. profile is now a keyword that will accept any Macaulay2 code. Run profileSummary or coverageSummary to view the profiling results.
- The random(QQ) method has been added.
- gcd and lcm now accept a single argument.
- Vector objects belonging to modules of rank 1 may now be added, subtracted, and tested for equality with elements from their underlying rings.
- pairs will now accept any instance of class for which an iterator method is installed.
- applyPairs, scanPairs, and selectPairs will now accept any object that works with pairs.
- vector now accepts a ring as its first argument for constructing elements of free modules.
- format now escapes all control characters in a string.
- It is now possible to write new ... from methods that accept 2 or 3 arguments. See new.
- intersection is now a synonym for intersect.
- directProduct, formerly exported by Polyhedra, has been moved to Core and now accepts any positive number of arguments.
- The sign method has been added.
- Package documentation pages now display BibTeX citation information, provided by cite.
- There now exists a Citation documentation keyword for overriding the default package citation information provided by cite.
- There are now several additional round methods.
- needsPackage will now reload a package if its source has been modified since the last time it was loaded.
- Several new check methods have been added.
- randomSubset has been added for generating random subsets of lists and sets.
functionality changed in a way that could break code:
- The method isIsomorphism now only returns true or false. To retrieved the computed isomorphism, use the method isomorphism.
- The method Matrix \ Matrix is now a shortcut for quotient'(Matrix,Matrix). The previous functionality is still available via Matrix // Matrix, which is a shortcut for quotient(Matrix,Matrix). Additionally, both methods now work for maps of non-free modules.
- leadTerm(Ideal) now returns an ideal instead of a matrix.
- gcdCoefficients now returns a sequence instead of a list.

- Macaulay2
Published by mahrud 9 months ago

m2 - Macaulay2 v1.24.11

New GitHub Contributors and Package Authors

Joseph Cummings
Benjamin Hollering (@bkholler) made their first contribution in https://github.com/Macaulay2/M2/pull/3271
Sean Grate (@TheGrateSalmon) made their first pull request in https://github.com/Macaulay2/M2/pull/3393
Nathan Grieve (@n-m-g) made their first pull request in https://github.com/Macaulay2/M2/pull/3547
Ernesto Lax (@ErnestoLax) made their first contribution in https://github.com/Macaulay2/M2/pull/3504
Devlin Mallory (@Devlin-Mallory) made their first pull request in https://github.com/Macaulay2/M2/pull/3257
Joe McDonough (@jmcdonough98) made their first pull request in https://github.com/Macaulay2/M2/pull/3353
Sasha Zotine (@sashahbc) made their first pull request in https://github.com/Macaulay2/M2/pull/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.

- Macaulay2
Published by mahrud over 1 year ago

m2 - Macaulay2 v1.24.05

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 https://github.com/Macaulay2/M2/pull/3154
Prashanth Sridhar

Changelog

packages that have been published and certified:
- CotangentSchubert, a package by Paul Zinn-Justin for Cotangent Schubert calculus, has been published.
- GeometricDecomposability, a package by Mike Cummings and Adam Van Tuyl to check whether ideals are geometrically vertex decomposable, has been published.
- 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.
- MultiplicitySequence, a package by Justin Chen, Youngsu Kim, and Jonathan Montaño for computing the multiplicity sequence of an ideal, has been published.
- Probability, a package by Doug Torrance for basic probability functions, has been published.
- 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 ^!, !, <a title="a unary postfix operator, used for sheafification" href="https://www.macaulay2.com/doc/Macaulay2-1.24.05/share/doc/Macaulay2/Macaulay2Doc/html/%5E~.html">^~, ~, <a title="a binary operator, used for truncation" href="https://www.macaulay2.com/doc/Macaulay2-1.24.05/share/doc/Macaulay2/Macaulay2Doc/html/%5Egt.html">^>, <a title="a binary operator, used for truncation" href="https://www.macaulay2.com/doc/Macaulay2-1.24.05/share/doc/Macaulay2/Macaulay2Doc/html/%5Egteq.html">^>=, ^<, ^<=, >, <a title="a binary operator, used for truncation" href="https://www.macaulay2.com/doc/Macaulay2-1.24.05/share/doc/Macaulay2/Macaulay2Doc/html/usgteq.html">>=, <, <a title="a binary operator, used for truncation" href="https://www.macaulay2.com/doc/Macaulay2-1.24.05/share/doc/Macaulay2/Macaulay2Doc/html/uslteq.html"><=, |, and <a title="augmented assignment for |" href="https://www.macaulay2.com/doc/Macaulay2-1.24.05/share/doc/Macaulay2/Macaulay2Doc/html/_vbuseq.html">|=.
- 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 GCstats has been improved.
- The initial heap size used by the garbage collector has been increased and the free space divisor has been decreased.
- The taskResult function now waits until a task is finished before returning its result.
- The parallelApply function has been added for applying a function to a list in parallel.
- The output when using the time keyword now includes the time used by the current thread and in garbage collection.
- The keyword threadVariable has been renamed to threadLocal, although the former still exists as a synonym. See parallel programming with threads and tasks for more.
- The hash counter for mutable hash tables increases much more slowly, decreasing the likelihood of overflowing.
- The take function will now accept a two-element list as its second element if the class of the first element has a iterator method installed.
- Broken links to the Journal of Software for Algebra and Geometry have been fixed in the documentation for older certified packages.
- The documentation page for each certified package now includes its DOI.
- The union function has been added for sets.
- The intersect and intersection functions now work for sets.
- Creating integer quotient rings using ZZ/n now works when n is large and/or composite.
- The syntax g \\ f as a synonym for f // g when f and g are matrices has been deprecated. It will be replaced in the next release.
- Modules may now be compared using <, <=, >, and >=, by their ranks and degrees. In particular, lists of modules may now be sorted.
- The method homomorphism(Vector) was added for getting the homomorphism from an element of a Hom module.
- The method random(Module) was added for generating random elements of modules.
- The method all(BasicList) was added for checking if all elements of a list of booleans are true.
- The method position(ZZ,Function) was added for finding the smallest index for which a function returns true.

- Macaulay2
Published by mahrud almost 2 years ago

m2 - Macaulay2 v1.23

New GitHub Contributors and Package Authors

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

Changelog

packages that have been published and certified:
- BettiCharacters, a package by Federico Galetto for finite group characters on free resolutions and graded modules, has been published.
- FastMinors, a package by Boyana Martinova, Marcus Robinson, Karl Schwede, and Yuhui (Wei) Yao for faster linear algebra operations, has been published.
- MixedMultiplicity, a package by Kriti Goel, Vivek Mukundan, Sudeshna Roy, and J. K. Verma for Mixed Multiplicities of ideals, has been published.
- 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.
- 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 and returns the corresponding values of the Hilbert function of the module.
- Torsion is now taken into account when adding, subtracting, and negating matrices.
- The source and target modules of a matrix will now be printed when both are free and/or have been assigned to global variables. Previously, they were only printed when both were free.
- If a module in a chain complex has been assigned to a global variable, then that variable will appear when the complex is printed, unless it is a free module.
- Several improvements have been made to vector for constructing elements of modules.
- It is now possible to view the code of a function defined on the standard input using code.
- The particular subclass of Function is now displayed when a function that has not been assigned to a global variable is printed.
- The "standalone" class is now used by showTex so that the size of the resulting document will match the size of the object being viewed.
- Several new escape sequences have been added for strings: \a (for audible bell), \e and \E (for escape), \v (for vertical tab), and \x (for indicating a character using its ASCII encoding in hexadecimal). See ".
- Both exportFrom and importFrom now accept either a string or Package object as their first argument and either a string or a list of strings as their second argument.
- FLINT version 3 is now supported.
- libatomic_ops has been dropped as a dependency and has been replaced with C11 and C++11 standard atomic operations.
- Some computations in the engine (e.g. minimal betti diagrams and Groebner bases over associative algebras), can now take advantage of multiple CPU cores, see parallelism in engine computations.
emacs updates:
- Indentation in the Macaulay2 major mode is now more consistent with other Emacs majors modes. For example, it now respects the Electric Indent minor mode. In particular, it is possible to toggle whether code is automatically indented after pressing Return by running M-x electric-indent-mode.
- The Macaulay2 Interaction major mode now respects the comint-use-prompt-regexp variable. This controls how many lines are sent to Macaulay2 when pressing Return after scrolling up to previous input. If the variable is set to t, then one line will be sent. If it is set to nil (the default), then the entire input field will be sent.
- The function M2-send-to-program (which is bound to F11 by default), is now only intended to be called from the Macaulay2 major mode. A new function, M2-send-input-or-get-input-from-demo-buffer has been added (and bound to F11) for the Macaulay2 Interaction major mode. The user experience should remain unchanged.

- Macaulay2
Published by mahrud almost 2 years ago

m2 - Macaulay2 v1.22

New GitHub Contributors and Package Authors

Carmelo Cisto
Rizwan Jahangir (@j-rizwan) made their first contribution in https://github.com/Macaulay2/M2/pull/2716
Francesco Navarra
Florian Weimer (@fweimer-rh) made their first contribution in https://github.com/Macaulay2/M2/pull/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.

- Macaulay2
Published by mahrud over 2 years ago

m2 - Macaulay2 v1.21

New GitHub Contributors and Package Authors

Graham Inggs (@ginggs) made their first contribution in https://github.com/Macaulay2/M2/pull/2535
Alan Veliz-Cuba (@alanavc) made their first contribution in https://github.com/Macaulay2/M2/pull/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.

- Macaulay2
Published by mahrud over 2 years ago

m2 - Macaulay2 v1.20

New GitHub Contributors and Package Authors

Thomas Yahl (@tjyahl) made their first contribution in https://github.com/Macaulay2/M2/pull/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.
- 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.
- 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:
- 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.
- 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., ℤ 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.

- Macaulay2
Published by mahrud almost 4 years ago

m2 - Macaulay2 v1.19

New GitHub Contributors and Package Authors

Baptiste Calmes (@baptistecalmes) made their first contribution in https://github.com/Macaulay2/M2/pull/2276
Beihui Yuan
Doug Torrance
Gregorz Kapustka
Jay White
Jordy Lopez
Kelly Maluccio (@kmaluccio) made their first contribution in https://github.com/Macaulay2/M2/pull/2308
Kristian Ranestad
Kristine Jones
Luca Amata (@lucamata) made their first Github contribution in https://github.com/Macaulay2/M2/pull/2268
Mary Barker (@marybarker) made their first contribution in https://github.com/Macaulay2/M2/pull/2107
Michal Kapustka
Nicholas Iammarino (@npiammarino) made their first contribution in https://github.com/Macaulay2/M2/pull/2195
Patricio Gallardo

Changelog

new packages:
- MonomialIntegerPrograms, a package by Lily Silverstein and Jay White for using integer programming for fast computations with monomial ideals, has been added.
- ThinSincereQuivers, a package by Mary Barker and Patricio Gallardo for construction of flow polytopes and their associated quivers, has been added.
- Python, a package by Daniel R. Grayson and Doug Torrance for an interface to Python, has been added.
- BettiCharacters, a package by Federico Galetto for finite group characters on free resolutions and graded modules, has been added.
- Jets, a package by Federico Galetto and Nicholas Iammarino, for computing jets of various algebraic, geometric and combinatorial objects, has been added.
- FunctionFieldDesingularization, a package by Douglas A. Leonard for desingularization of function fields, has been added.
- HomotopyLieAlgebra, a package by David Eisenbud for homotopy Lie algebra, has been added.
- TSpreadIdeals, a package by Luca Amata for t-spread ideals of a polynomial ring, has been added.
- ExteriorModules, a package by Luca Amata and Marilena Crupi for monomial modules over exterior algebras, has been added.
- GroebnerStrata, a package by Kristine Jones and Mike Stillman for working with Groebner families and subschemes of Hilbert schemes, has been added.
- QuaternaryQuartics, a package by Kapustka, Kapustka, Ranestad, Schenck, Stillman and Yuan containing code and examples for their paper 'Quaternary Quartic Forms and Gorenstein Rings', has been added.
- RealRoots, a package by Jordy Lopez, Kelly Maluccio, Frank Sottile, and Thomas Yahl for symbolically exploring, counting, and locating real solutions to polynomial systems, has been added.
- K3Surfaces, a package by Michael Hoff and Giovanni Staglianò for explicit constructions of K3 surfaces, has been added.
improved packages:
- The package Truncations has been improved to support modules over the Cox rings of simplicial normal toric varieties.
- The package MonodromySolver includes several new convenience functions for manipulating systems and creating seed pairs.
- The package Complexes has been improved. The documentation is complete, and all methods involving Yoneda Ext and connecting maps have been written. This package will soon replace the chain complex code from the Core.
packages that have been published and certified:
- DecomposableSparseSystems, a package by Taylor Brysiewicz, Jose Israel Rodriguez, Frank Sottile, and Thomas Yahl for solving decomposable sparse systems, has been published.
- SparseResultants, a package by Giovanni Staglianò for computations with sparse resultants, has been published.
- ExteriorModules, a package by Luca Amata and Marilena Crupi for monomial modules over exterior algebras, has been published.
packages that have been renamed:
- The package FastLinAlg has been renamed to FastMinors.
- The package RandomRationalPoints has been renamed to RandomPoints.
functionality added:
- Integers may now be entered using the binary, octal, and hexadecimal numeral systems with the prefixes "0b", "0o", and "0x", respectively.
- A new binary operator, ^^, has been added for computing the bitwise XOR of two integers. This replaces the "xor" method.
- A new keyword, xor, has been added for finding the logical XOR of two boolean objects.
- The function printerr, for printing warning messages and logs to stderr, is now exported.

- Macaulay2
Published by mahrud over 4 years ago

m2 - Macaulay2 v1.18

New GitHub Contributors and Package Authors

Elise Walker
Fatemeh Tarashi Kashani
Fereshteh Bahadorykhalily
Jackson Leaman
Jieao Song (@8d1h) made their first contribution in https://github.com/Macaulay2/M2/pull/1911
Josselin Poiret (@jpoiret) made their first contribution in https://github.com/Macaulay2/M2/pull/2046
Lauren Cranton Heller (@lcrantonh) made their first contribution in https://github.com/Macaulay2/M2/pull/2037
Michael Burr
Navid Nemati
Oliver Clarke
Ravi Vakil

Changelog

packages that have been published and certified:
- PhylogeneticTrees, a package by Nathaniel Bushek, Ruth Davidson, Elizabeth Gross, Pamela Harris, Robert Krone, Colby Long, AJ Stewart, and Robert Walker for invariants for group-based phylogenetic models, has been published.
- GradedLieAlgebras, a package by Clas Löfwall and Samuel Lundqvist for computations in graded Lie algebras, has been published.
- RelativeCanonicalResolution, a package by Christian Bopp and Michael Hoff for computation of the relative canonical resolution for g-nodal canonical curves with a fixed $g^1_k$, has been published.
- FrobeniusThresholds, a package by Juliette Bruce, Daniel Hernández, Karl Schwede, Dan Smolkin, Pedro Teixeira, and Emily Witt, for calculations of F-thresholds, has been published.
new packages:
- AssociativeAlgebras, a package by Frank Moore and Mike Stillman for noncommutative algebra, has been added.
- RationalPoints2, a package by Jieao Song for finding rational points on a variety, has been added.
- SuperLinearAlgebra, a package by Fereshteh Bahadorykhalily and Fatemeh Tarashi Kashani for computing with supermatrices, has been added.
- SubalgebraBases, a package by Michael Burr, Oliver Clarke, Timothy Duff, Jackson Leaman, Nathan Nichols, Elise Walker, Mike Stillman, and Harrison Tsai, for computing canonical subalgebra bases, has been added.
- AInfinity, a package by David Eisenbud and Mike Stillman for A-infinity structures on free resolutions, has been added.
- LinearTruncations, a package by Lauren Cranton Heller, David Eisenbud, and Navid Nemati for finding multigraded truncations that give linear resolutions, has been added.
improved packages:
- The package NumericalSchubertCalculus has been improved: several functions and options were added for user convenience. Output formats, verbosity, and documentation were greatly improved.
- The package VirtualResolutions has been improved: a new strategy using a significantly faster algorithm has been added for the multigradedRegularity function.
- The package NoetherianOperators has been improved: the DiffOp type has been reworked, and support for Noetherian operators and differential primary decompositions of modules has been added.
- Several packages (Chordal, Graphs, Markov, and Posets) that generate and display visualizations of mathematical objects using external image viewers have been modified so that they no longer require package-specific configuration of these viewers. Instead, show is used, which opens the images using the system default viewer (using open on macOS and xdg-open on Linux).
functionality added:
- A new type of real number, RRi based on interval arithmetic has been added, based on the library mpfi, thanks to Michael Burr, with help from Anton Leykin.
- The function tests has been added, for getting information about a package's tests.
- A new type of list, assert now accepts an Expression object as its argument. This provides more useful error messages for debugging, because they will contain the expression in unevaluated form, which might be something like d == 3.
- In the function orbitRepresentatives in the package MonomialOrbits, it is now possible to specify a subset of monomials from which the monomials that represent orbits are chosen, or from which the monomials that represent orbits are removed.
functionality removed
- The type MatrixDegreeExpression has been removed.
- The type ModuleMap has been removed.

- Macaulay2
Published by mahrud over 4 years ago

m2 - Macaulay2 v1.17

New GitHub Contributors

Christopher Eur (@chrisweur) made their first contribution in https://github.com/Macaulay2/M2/pull/1505
Olga Kuznetsova (@olgakuznetsova) made their first contribution in https://github.com/Macaulay2/M2/pull/1587
Iman Bahmani Jafarloo (@imanbj) made their first contribution in https://github.com/Macaulay2/M2/pull/1623
Francesca Gandini (@fragandi) made their first contribution in https://github.com/Macaulay2/M2/pull/1591
Ashleigh Adams (@aadams22) made their first contribution in https://github.com/Macaulay2/M2/pull/1511
Roser Homs Pons (@roserhp) made their first contribution in https://github.com/Macaulay2/M2/pull/1713

Changelog

functionality added:
- The function importFrom has been added, for importing individual symbols from another package.
- The function readPackage has been added, for retrieving the options in the preamble of a package quickly.
- The function hooks has been added, for retrieving the list of functions installed as hooks for handling computations of a specific type.
- The function baseRing has been added, for retrieving the ring from which a ring was formed.
- The functions findProgram and runProgram have been added, to provide a uniform way for packages to locate external programs. (The names and locations of such programs may vary from system to system.
- The function formation has been added, for retrieving the way a module was formed, whether as a direct sum, tensor product, or Hom-module.
functionality improved:
- The function capture is now used for generating most examples and tests.
- The function installPackage accepts two new argument: installPackage(...,MakeHTML=>...) and installPackage(...,MakePDF=>...). The PDF output will be improved in a future release.
- The new optional argument name Keywords can now be used with packages to specify a list of key words (or phrases), useful for searching and organizing the packages by topic, as seen here: packages provided with Macaulay2.
- The functions addHook and runHooks have been modified to accept a new syntax, allow giving names to hooks, and run specific hooks using the option Strategy. The symbol Default has been added for use as the name of hooks. The mutable hash table GlobalHookStore has been added as a storage location for some hooks. For more information on using hooks, see that documentation node.
- The functions code is modified to also show the code for hooks listed by the function hooks.
- $\LaTeX$ typesetting for the web documentation is now rendered using $\KaTeX$, a JavaScript math typesetting library for browsers. As a result, $\LaTeX$ equations and matrices are rendered correctly. One notable change is that mathematical characters and equations now must be enclosed in $...$, \[...\], $...$ , or $$...$$ in order to be rendered. See html(TEX) for more details and examples
- The option Boxes of netList has been made more flexible to allow customization of the box; it now accepts as input a pair of lists of rows and columns.
- A brief documentation of various types of objects can be viewed usin ? Symbol.
- The document function now accepts three new options: Acknowledgement, Contributors, and References. The content of each will appear under a subsection of the same name in the documentation. Moreover, document(String) is now a synonym for doc(String).
- The regex function, as well as other functions that accept regular expressions, have been rewritten to use the Perl regular expression syntax by default, which allows more fine-grained control of the matches. The POSIX extended flavor is still available as an option. The functionality is unchanged in almost all cases, except for regular expressions containing escaped special characters, where another backslash may be needed, and, in rare cases, where there are multiple options to match the regular expression. Internally, the new implementation incorporates the Boost.Regex library.
new packages:
- EagonResolution, a package by David Eisenbud and Mike Stillman for Eagon resolutions of residue fields, has been added.
- EigenSolver, a package by Laurent Busé, Justin Chen, Kisun Lee, Anton Leykin, Tomas Pajdla, and Erika Pirnes for solving polynomial systems using eigen-computations, has been added.
- GKMVarieties, a package by Chris Eur and Ritvik Ramkumar for computations with GKM manifolds and moment graphs, has been added.
- 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 added.
- Hadamard, a package by Iman Bahmani Jafarloo for Hadamard products of projective subvarieties, has been added.
- MonomialOrbits, a package by David Eisenbud and Mike Stillman for orbit representatives of monomial ideals, has been added.
- MultiplicitySequence, a package by Justin Chen, Youngsu Kim, and Jonathan Montaño, for computing the multiplicity sequence of an ideal, has been added.
- 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 added. (The package NumericalHilbert has been absorbed into this new package.
- NumericalLinearAlgebra, a package by Robert Krone, Marc Harkonen, and Anton Leykin for numerically compute local dual spaces and Hilbert functions, has been added.
- RandomRationalPoints, a package by Sankhaneel Bisui, Thai Nguyen, Karl Schwede, Sarasij Maitra, and Zhan Jiang, for computing a random point in a given variety over a finite field, has been added.
- ResLengthThree, a package by Lars Winther Christensen, Luigi Ferraro, Francesca Gandini, Frank Moore, and Oana Veliche, for multiplication in free resolutions of length three, has been added.
- ResolutionsOfStanleyReisnerRings, a package by for , has been added.
- hooks function.
- StatGraphs, a package by Carlos Amendola, Luis David Garcia Puente, Roser Homs Pons, Olga Kuznetsova, and Harshit J Motwani, for graphs used in algebraic statistics, has been added.
- SwitchingFields, a package by Zhan Jiang and Sarasij Maitra for switching base fields and obtaining natural maps, has been added.
packages that have been published and certified:
- VirtualResolutions, a package by Ayah Almousa, Christine Berkesch, Juliette Bruce, David Eisenbud, Michael Loper, and Mahrud Sayrafi for virtual resolutions on products of projective spaces, has been published.
improved packages:
- The doc(String) method from the SimpleDoc package has been rewritten to support documenting multiple nodes at once. The following keywords were added: Node, Synopsis, Tree, Acknowledgement, Contributors, References, and SourceCode. Moreover, two new functions, arXiv and stacksProject were added to help with referencing external documents.
- The PrimaryDecomposition package has been improved to support computation of associated primes and primary decomposition of modules. In addition, partial computations in this package are now cached.
- The MinimalPrimes package has been improved and the minimalPrimes and isPrime(Ideal) routines from that package are now used by default, deprecating the installMinprimes routine. A new routine radicalContainment has been added, and the function radical is moved to this package. In addition, partial computations in this package are now cached.
functionality changed:
- The functions associatedPrimes, topComponents, and removeLowestDimension have been moved to the package PrimaryDecomposition.
- The destinations of the links at the tops of the web pages portraying documentation nodes in a package have been altered. The links labeled next and previous have been interchanged with the links labelled forward and backward. This was done to bring the terminology into agreement with that used in the info nodes portraying documentation nodes. The result can be described as follows. By virtue of the Subnodes option, each node is provided with a certain number of subnodes, so the documentation as a whole may be regarded as an ordered union of rooted trees, with the top node of the package serving as the root of the first one. (Ideally it would be the only one.) The next and previous links can be used to traverse the (sibling) subnodes of a given node, in sequence. (The various roots are also regarded as siblings.) The forward and backward links can be used to traverse all the nodes, in depth-first sequence. Ideally, the documentation would be structured so such a traversal results in a readable document with topics presented in a logical sequence.
functionality changed in a way that could break code:
- The variable backupFileRegexp has been replaced by the Exclude option to copyDirectory.
- The option installPackage(...,InstallPrefix=>...) no longer accepts a function as input. only strings containing a path to the installation prefix are accepted.
- The function localRing has been moved to the package LocalRings.
functionality removed
- The function removeHook has been removed.
- The ForestNode and TreeNode types have been made internal.

- Macaulay2
Published by mahrud about 5 years ago

m2 - Macaulay2 v1.16

New GitHub Contributors

@denham0 made their first contribution in https://github.com/Macaulay2/M2/pull/414
@gblanco92 made their first contribution in https://github.com/Macaulay2/M2/pull/447
@dimpase made their first contribution in https://github.com/Macaulay2/M2/pull/514
@andrew-bydlon made their first contribution in https://github.com/Macaulay2/M2/pull/525
@kroner made their first contribution in https://github.com/Macaulay2/M2/pull/531
@aarondall made their first contribution in https://github.com/Macaulay2/M2/pull/590
@samuellundqvist made their first contribution in https://github.com/Macaulay2/M2/pull/601
@ggsmith made their first contribution in https://github.com/Macaulay2/M2/pull/619
@midipasq made their first contribution in https://github.com/Macaulay2/M2/pull/688
@sommars made their first contribution in https://github.com/Macaulay2/M2/pull/700
@eloisagrifo made their first contribution in https://github.com/Macaulay2/M2/pull/705
@dylanpeifer made their first contribution in https://github.com/Macaulay2/M2/pull/709
@dwilburne made their first contribution in https://github.com/Macaulay2/M2/pull/713
@prof-joe made their first contribution in https://github.com/Macaulay2/M2/pull/721
@emduart2 made their first contribution in https://github.com/Macaulay2/M2/pull/802
@chbopp made their first contribution in https://github.com/Macaulay2/M2/pull/806
@lilysilverstein made their first contribution in https://github.com/Macaulay2/M2/pull/828
@kmarius made their first contribution in https://github.com/Macaulay2/M2/pull/878
@ycid made their first contribution in https://github.com/Macaulay2/M2/pull/851
@klee669 made their first contribution in https://github.com/Macaulay2/M2/pull/858
@alexandru-iosif made their first contribution in https://github.com/Macaulay2/M2/pull/862
@LorenzoVenturello made their first contribution in https://github.com/Macaulay2/M2/pull/831
@rz839 made their first contribution in https://github.com/Macaulay2/M2/pull/915
@DiffAlg made their first contribution in https://github.com/Macaulay2/M2/pull/960
@crgibbons made their first contribution in https://github.com/Macaulay2/M2/pull/962
@kathlenkohn made their first contribution in https://github.com/Macaulay2/M2/pull/970
@janino937 made their first contribution in https://github.com/Macaulay2/M2/pull/1034
@janverschelde made their first contribution in https://github.com/Macaulay2/M2/pull/1036
@natelastname made their first contribution in https://github.com/Macaulay2/M2/pull/1062
@antostain made their first contribution in https://github.com/Macaulay2/M2/pull/1083
@a-hochenegger made their first contribution in https://github.com/Macaulay2/M2/pull/1107
@pepperhdj made their first contribution in https://github.com/Macaulay2/M2/pull/1148
@zeromath made their first contribution in https://github.com/Macaulay2/M2/pull/1179
@michaelhoff made their first contribution in https://github.com/Macaulay2/M2/pull/1282
@tbrysiewicz made their first contribution in https://github.com/Macaulay2/M2/pull/1289
@Sondzus made their first contribution in https://github.com/Macaulay2/M2/pull/1338
@foschreyer made their first contribution in https://github.com/Macaulay2/M2/pull/1336

Changelog

functionality added:
- The location of Macaulay2's emacs files has changed from site-lisp to site-lisp/Macaulay2, so users, after installing this version of Macaulay2, may once again need to run setupEmacs (or setup).
new packages:
- SimplicialPosets, a package by Nathan Nichols for constructing Stanley simplicial poset rings, has been added.
- SlackIdeals, a package by Amy Wiebe and Antonio Macchia for slack ideals of polytopes and matroids, has been added.
- PositivityToricBundles, a package by Andreas Hochenegger for checking positivity of toric vector bundles, has been added.
- SparseResultants, a package by Giovanni Staglianò for computations with sparse resultants, has been added.
- DecomposableSparseSystems, a package by Taylor Brysiewicz, Jose Israel Rodriguez, Frank Sottile, and Thomas Yahl for solving decomposable sparse systems, has been added.
- MixedMultiplicity, a package by Kriti Goel, Sudeshna Roy, and J. K. Verma for mixed multiplicities of ideals, has been added.
- ThreadedGB, a package by Sonja Petrovic, Sara Jamshidi Zelenberg, and Tanner Zielinski for computing a Groebner basis using the classical Buchberger algorithm with multiple threads, has been added.
- PencilsOfQuadrics, a package by Frank-Olaf Schreyer, David Eisenbud, and Yeongrak Kim for Clifford algebras of pencils of quadratic forms, has been added.
- VectorGraphics, a package by Paul Zinn-Justin for producing scalable vector graphics, has been added.
packages that have been published and certified:
- DeterminantalRepresentations, a package by Justin Chen and Papri Dey for computing determinantal representations, has been published.
- Seminormalization, a package by Karl Schwede and Bernard Serbinowski for computing seminormalization of rings, has been published.
- SumsOfSquares, a package by Diego Cifuentes, Thomas Kahle, Pablo A. Parrilo, and Helfried Peyrl for sums of squares, has been published.
functionality added:
- The function installPackage now returns, as its value, the package that was installed. This makes it more convenient to both install and check a package, because one can type check installPackage "FOO".
- The roots command is now handled by the MPSolve library, and is more robust, but no longer takes an optional argument Unique.
- The Complexes package has new data types and routines for homological algebra. Eventually, it will replace the current facilities for homological algebra. We are making this available in order to get feedback from users before making this change. Please email the authors with any and all comments or suggestions.
functionality improved
- The PARI library has been removed. Its functionality has been subsumed by the MPSolve library (for the roots function for finding roots of a univariate polynomial), and the FLINT library, for integer factorization and primality testing.
- The Boost.Stacktrace library has been added for printing stack traces in case of a crash.
- Primality testing, provided by isPrime, is now handled by the FLINT library.
- Probable prime testing, provided by isPseudoprime, is now handled by the FLINT library.
- Factorization of integers, provided by factor(ZZ), is now handled by the FLINT library.
- The FLINT library, and several others, no longer need to be patched while building Macaulay2. This involved a reorganization of the way memory management is done in the engine and the interpreter. As a result, we can use versions of several basic libraries as provided by the operating system, including GNU MP,MPIR,MPFR, and the NTL library.
- The CompleteIntersectionResolutions package now has an implementation of the dual of the (infinite) Tate resolution of any module over a complete intersection $R$ as a finitely generated module over $R[t1..tc]$, the ring of Eisenbud operators. As a byproduct, this gives another method for computing the global $ExtR(M,N)$. Also implemented _layered resolutions (in the sense of Eisenbud-Peeva) of Cohen-Macaulay modules over $R$.
- The ReesAlgebra has new functionality, with the defaults changed to make the computation faster.

- Macaulay2
Published by mahrud about 5 years ago