changes, 1.20

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 running 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 probabilistic 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 compatibility 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.