Skip to content

Releases: Macaulay2/M2

Macaulay2 v1.24.11

02 Nov 02:43
release-1.24.11
c9ea7fa
Compare
Choose a tag to compare

New GitHub Contributors and Package Authors

Changelog

  • packages that have been published and certified:
    • "a gold star" 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.
    • "a gold star" SpecialFanoFourfolds, a package by Giovanni Staglianò for Hodge-special fourfolds, has been published.
    • "a gold star" 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 <a title="the clas...
Read more

Macaulay2 v1.24.05

15 May 04:21
ec9e9ac
Compare
Choose a tag to compare

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 #3154
  • Prashanth Sridhar

Changelog

  • packages that have been published and certified:
    • "a gold star" CotangentSchubert, a package by Paul Zinn-Justin for Cotangent Schubert calculus, has been published.
    • "a gold star" GeometricDecomposability, a package by Mike Cummings and Adam Van Tuyl to check whether ideals are geometrically vertex decomposable, has been published.
    • "a gold star" 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.
    • "a gold star" MultiplicitySequence, a package by Justin Chen, Youngsu Kim, and Jonathan Montaño for computing the multiplicity sequence of an ideal, has been published.
    • "a gold star" Probability, a package by Doug Torrance for basic probability functions, has been published.
    • "a gold star" 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 ^!, !, ^~, ~, ^>, ^>=, ^<, ^<=, >, >=, <, <=, |, and |=.
    • A number of improvements have been made to parallelization. In particular:
Read more

Macaulay2 v1.23

23 Mar 07:42
ec65028
Compare
Choose a tag to compare

New GitHub Contributors and Package Authors

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

Changelog

  • packages that have been published and certified:
    • "a gold star" BettiCharacters, a package by Federico Galetto for finite group characters on free resolutions and graded modules, has been published.
    • "a gold star" FastMinors, a package by Boyana Martinova, Marcus Robinson, Karl Schwede, and Yuhui (Wei) Yao for faster linear algebra operations, has been published.
    • "a gold star" MixedMultiplicity, a package by Kriti Goel, Vivek Mukundan, Sudeshna Roy, and J. K. Verma for Mixed Multiplicities of ideals, has been published.
    • "a gold star" 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.
    • "a gold star" 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 an...
Read more

Macaulay2 v1.22

27 Jun 19:46
b471161
Compare
Choose a tag to compare

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

01 Jun 14:32
Compare
Choose a tag to compare

New GitHub Contributors and Package Authors

  • Graham Inggs (@ginggs) made their first contribution in #2535
  • Alan Veliz-Cuba (@alanavc) made their first contribution in #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:
  • 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 v1.20

19 May 04:29
Compare
Choose a tag to compare

New GitHub Contributors and Package Authors

  • Thomas Yahl (@tjyahl) made their first contribution in #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.
    • "a gold star" 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.
    • "a gold star" 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:
    • "a gold star" 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.
    • "a gold star" 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:
  • functionality changed in a way that could break code:
    • The update to SimplicialComplexes has several minor breaking changes, outlined above.

Macaulay2 v1.19

18 Nov 03:20
Compare
Choose a tag to compare

New GitHub Contributors and Package Authors

  • Baptiste Calmes (@baptistecalmes) made their first contribution in #2276
  • Beihui Yuan
  • Doug Torrance
  • Gregorz Kapustka
  • Jay White
  • Jordy Lopez
  • Kelly Maluccio (@kmaluccio) made their first contribution in #2308
  • Kristian Ranestad
  • Kristine Jones
  • Luca Amata (@lucamata) made their first Github contribution in #2268
  • Mary Barker (@marybarker) made their first contribution in #2107
  • Michal Kapustka
  • Nicholas Iammarino (@npiammarino) made their first contribution in #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:
    • "a gold star" DecomposableSparseSystems, a package by Taylor Brysiewicz, Jose Israel Rodriguez, Frank Sottile, and Thomas Yahl for solving decomposable sparse systems, has been published.
    • "a gold star" SparseResultants, a package by Giovanni Staglianò for computations with sparse resultants, has been published.
    • "a gold star" 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 v1.18

10 Jun 20:31
Compare
Choose a tag to compare

New GitHub Contributors and Package Authors

  • Elise Walker
  • Fatemeh Tarashi Kashani
  • Fereshteh Bahadorykhalily
  • Jackson Leaman
  • Jieao Song (@8d1h) made their first contribution in #1911
  • Josselin Poiret (@jpoiret) made their first contribution in #2046
  • Lauren Cranton Heller (@lcrantonh) made their first contribution in #2037
  • Michael Burr
  • Navid Nemati
  • Oliver Clarke
  • Ravi Vakil

Changelog

  • packages that have been published and certified:
    • "a gold star" 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.
    • "a gold star" GradedLieAlgebras, a package by Clas Löfwall and Samuel Lundqvist for computations in graded Lie algebras, has been published.
    • "a gold star" 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.
    • "a gold star" 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, AngleBarList, has been added, for use in forming free associative algebras. An instance can be created with the notation <|x,y,z|>.
    • The function 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 v1.17

10 Jan 22:20
Compare
Choose a tag to compare

New GitHub Contributors

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:
Read more

Macaulay2 v1.16

10 Jan 22:07
Compare
Choose a tag to compare

New GitHub Contributors

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:
    • "a gold star" DeterminantalRepresentations, a package by Justin Chen and Papri Dey for computing determinantal representations, has been published.
    • "a gold star" Seminormalization, a package by Karl Schwede and Bernard Serbinowski for computing seminormalization of rings, has been published.
    • "a gold star" 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 roo...
Read more