changes, 1.25.05

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.
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.

The source of this document is in Macaulay2Doc/changes.m2:162:0.