Skip to content

Commit b30bc0f

Browse files
d-torranced-torrance
committed
Add 1.26.05 changelog
1 parent 9113a8b commit b30bc0f

1 file changed

Lines changed: 61 additions & 2 deletions

File tree

‎M2/Macaulay2/packages/Macaulay2Doc/changes.m2‎

Lines changed: 61 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -69,12 +69,71 @@ changesHelper List := opt -> pkgnames -> (
6969

7070
document {
7171
Key => "changes, 1.26.05",
72-
UL {
72+
UL {
73+
LI { "new packages:",
74+
UL {
75+
LI { TO "EliminationTemplates::EliminationTemplates", ", a package by Manav Batavia, Cheng Chen, Wanchun / Rosie Shen, Anna Natalie Chlopecki, Tim Duff, Will Huang, and Aolong Li for elimination templates, has been added." },
76+
LI { TO "MacaulayPosets::MacaulayPosets", ", a package by Penelope Beall and Yu Olivier Li for Macaulay posets, has been added." },
77+
LI { TO "MRDI::MRDI", ", a package by Doug Torrance for serializing algebraic data with .mrdi files, has been added." },
78+
LI { TO "Padic::Padic", ", a package by Doug Torrance for p-adic numbers, has been added." },
79+
LI { TO "SimplicialModules::SimplicialModules", ", a package by Keller VandeBogert and Michael DeBellevue for working in the category of simplicial modules, has been added." },
80+
LI { TO "WittVectors::WittVectors", ", a package by Anne Fayolle, Abhay Goel, Devlin Mallory, Eamon Quinlan-Gallego, and Teppei Takamatsu for computations with Witt vectors, Frobenius lifts, and quasi-F-splittings, has been added." },
81+
},
82+
},
83+
LI { "packages that have been published and certified:",
84+
UL {
85+
LI { star, " ", TO "ThinSincereQuivers::ThinSincereQuivers", ", a package by Mary Barker and Patricio Gallardo for constructing flow polytopes and their associated quivers, has been published." },
86+
}
87+
},
7388
LI { "improved packages:",
7489
UL {
7590
LI { TO "BettiCharacters::BettiCharacters", " has been updated to version 2.6. Changes include significant optimizations of the core algorithm, a new option for semidirect products of finite groups acting on tori, and methods for hyperoctahedral groups. This version introduces breaking changes to the ", TT "Character", " type, making it incompatible with previous versions." },
91+
LI { TO "CellularResolutions::CellularResolutions", " has been updated to version 1.1 with improved documentation." },
92+
LI { TO "Complexes::Complexes", " has been updated to version 1.0 and is now the default homological algebra package. To construct a complex, use ", TO "Complexes::complex", ", which returns a ", TO "Complexes::Complex", " object. This replaces ", TO "OldChainComplexes::chainComplex", " and ", TO "OldChainComplexes::ChainComplex", ". For the legacy behavior, the ", TO "OldChainComplexes::OldChainComplexes", " package is still available. Add ", M2CODE "HomologicalAlgebraPackage = \"OldChainComplexes\"", " to your ", TO "initialization file", " to make it the default." },
93+
LI { TO "DGAlgebras::DGAlgebras", " has been updated to version 2.0, introducing ", TO "DGAlgebras::DGModule", " and related types with core homological operations, adding minimal semifree DG resolutions, overhauling documentation of key constructors with examples, and expanding test coverage." },
94+
LI { TO "ForeignFunctions::ForeignFunctions", " has been updated to version 0.7 with improved garbage collection of GMP and MPFR objects." },
7695
LI { TO "InvariantRing::InvariantRing", " has been updated to version 2.4, which includes a new algorithm for invariants of elementary abelian $p$-groups, as well as bugfixes and documentation improvements. The ", TT "permutationMatrix", " method now takes arrays as inputs." },
77-
}
96+
LI { TO "JSON::JSON", " has been updated to version 0.6 with significant improvements to parsing speed thanks to the ", HREF("https://github.com/akheron/jansson", "Jansson"), " library."},
97+
LI { TO "JSONRPC::JSONRPC", " has been updated to version 0.2 with improved error messages." },
98+
LI { TO "LieAlgebraRepresentations::LieAlgebraRepresentations", " has been updated to version 1.01, adding a dual construction for representations, fixing Cartan-basis inconsistencies in spin and half-spin matrix computations, and updating documentation to reflect a now-proven formula." },
99+
LI { TO "MatchingFields::MatchingFields", " has been updated to version 1.3 with overhauls to the internals of the main datatype, simpliyfing the logic and removing duplicated code." },
100+
LI { TO "PieriMaps::PieriMaps", " has been updated to version 2.0, adding dual (projection-direction) Pieri and Littlewood-Richardson maps with point evaluators, supporting multiple basis conventions with conversions, and providing equivariance/well-definedness checks and symbolic representations of maps." },
101+
LI { TO "Probability::Probability", " has been updated to version 0.7 with minor updates." },
102+
LI { TO "RInterface::RInterface", " has been updated to version 0.2, adding hash table-environment conversion, string-based evaluation via ", TO "RInterface::RValue", ", a persistent ", TO "RInterface::RContext", " for shared environments, formula construction with ", TO "RInterface::RObject ~ RObject", ", and improved documentation and testing." },
103+
LI { TO "SchurComplexes::SchurComplexes", " has been updated to version 1.2, fixing a bug with function ", TO "SchurComplexes::schurComplex", " keeps track of homological degree. Also, ", TO "SchurComplexes::schurComplex ", " has been updated to output a graded complex, based on the grading on the input complex." },
104+
LI { TO "SchurFunctors::SchurFunctors", " has been updated to version 1.0, adding a full Weyl-functor framework parallel to the Schur side (with new modules, operations, and characters), augmenting Schur-side utilities, fixing decomposition and predicate bugs, improving straightening performance, and expanding documentation." },
105+
LI { TO "SchurRings::SchurRings", " has been updated to version 2.0, adding new character ring variants for symplectic, orthogonal, and rational GL groups (with full API support, branching/specialization maps, and inter-conversions), introducing a monomial-basis option with Kostka-based multiplication, and including minor efficiency improvements while preserving existing functionality."},
106+
LI { TO "SpecialFanoFourfolds::SpecialFanoFourfolds", " has been updated to version 2.8, adding support for the ", TO "SpecialFanoFourfolds::DoublySpecialCubicFourfold", " class (cubic fourfolds in the intersection of two Hassett divisors)." },
107+
LI { TO "SpectralSequences::SpectralSequences", " has been updated to version 2.02 and now uses the ", TO "Complexes::Complexes", " package." },
108+
LI { TO "Tableaux::Tableaux", " has been updated to version 0.6, merging the class ", TT "SkewTableau", " into ", TO "Tableaux::YoungTableau", " and bringing in several features from the package ", TO "SpechtModule::SpechtModule", "."},
109+
LI { TO "TerraciniLoci::TerraciniLoci", " has been updated to version 0.5 with minor updates to citation and author info." },
110+
LI { TO "Visualize::Visualize", " has been updated to version 1.9 and now uses updated versions of various JavaScript libraries." },
111+
},
112+
},
113+
LI { "functionality added or improved:",
114+
UL {
115+
LI { "The ", TO Mutex, " class has been added to help prevent race conditions in multithreaded code." },
116+
LI { "Multiple assignment may now be used to assign to elements of mutable lists and hash tables and for using and installing assignment methods. In addition, null entries may be used on the left-hand side to skip assignment. For example, if ", VAR "x", " is a mutable list and ", VAR "y", " is a mutable hash table, then ", CODE "(x#0, , y.a) = (1, 2, 3)", " is equivalent to ", CODE "x#0 = 1; y.a = 3", ", ignoring the 2."},
117+
LI { "The ", TO polylog, " function has been added for computing polylogarithms." },
118+
LI { "The ", TO symbol trap, " keyword and the ", M2CODE "except", "/", M2CODE "do", " options to ", TO symbol try, " have been added for improved error handling. In particular, it is now possible to \"trap\" an error as an ", TO Error, " object instead of raising it." },
119+
LI { "It is now possible to ", TO2(installMethod, "install"), " a nullary (0-argument) method using the syntactic sugar ", CODE "f() := () -> ..." },
120+
LI { "It is now possible to construct a mutable list with a specific number of null entries using ", TO "new MutableList from ZZ", "." },
121+
LI { "The ", TO parse, " function has been added for viewing the parse tree of Macaulay2 code." },
122+
LI { "The ", TO norm, " function now supports computing $\\ell^p$ norms for finite $p$." },
123+
LI { "The ", TO shuffle, " function has been added for shuffling lists and the ", TO randomElement, " function for selecting random elements from lists. Note that ", TO (random, List), ", which currently behaves like ", TO shuffle, ", will have its behavior changed to that of ", TO randomElement, " in a future release." },
124+
LI { "A new number type, ", TO CCi, ", has been added for working with complex intervals." },
125+
},
126+
},
127+
LI { "functionality changed in a way that could break code:",
128+
UL {
129+
LI { "The ", TO symbol ~, " operator is now a binary or prefix unary operator instead of a postfix unary operator. Use ", TO symbol ^~, " for sheafification." },
130+
LI { "The ", TT "OldPolyhedra", " and ", TT "OldToricVectorBundles", " packages are no longer distributed. Use ", TO "Polyhedra::Polyhedra", " and ", TO "ToricVectorBundles::ToricVectorBundles", " instead." },
131+
LI { "It is no longer possible to ", TO promote, " from ", TO RR, " to ", TO QQ, "." },
132+
LI { "Matrix multiplication now preserves degree." },
133+
LI { "The ", TO (symbol _, VisibleList, List), " method for subsetting lists now preserves class, e.g., ", CODE "[1,2,3,4]_{0,1}", " now returns an ", TO Array, ", not a ", TO List, ", as it did previously." },
134+
LI { "The ", TT "NonminimalComplexes", " and ", TT "PruneComplex", " packages have been removed. Their functionality has been moved to ", TO "Complexes::Complexes", "." },
135+
LI { "The ", M2CODE "resolution", " function (and its synonym, ", M2CODE "res", ") are now synonyms for ", TO "Complexes::freeResolution", ". The ", TO LengthLimit, " option is required for rings where there are infinite free resolutions such as quotients of polynomial rings and skew commutative polynomial rings. Also, ", M2CODE "Strategy => Nonminimal", " replaces ", M2CODE "FastNonminimal => true", "." },
136+
},
78137
},
79138
}
80139
}

0 commit comments

Comments
 (0)