diff --git a/CHANGELOG.md b/CHANGELOG.md index c4e200007d3f..781156bf1aea 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -5,6 +5,130 @@ All notable changes to this project will be documented in this file. The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/), and this project tries to adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html). +## [1.6.0](https://github.com/oscar-system/Oscar.jl/releases/tag/v1.6.0) - 2025-11-28 + +The following gives an overview of the changes compared to the previous release. This list is not +complete, many more internal or minor changes were made, but we tried to only list those changes +which we think might affect some users directly. + +### Algebraic Geometry + +#### New features or extended functionality + +- [#5265](https://github.com/oscar-system/Oscar.jl/pull/5265) Add `f4ncgb` algorithm for non-commutative groebner basis computation +- [#5403](https://github.com/oscar-system/Oscar.jl/pull/5403) Add `factoring_standard_basis` command which uses `facstd` from `Singular.jl` +- [#5585](https://github.com/oscar-system/Oscar.jl/pull/5585) Precomputed Gröbner basis for quantum symmetric groups + +#### Fixed bugs that returned incorrect results + +- [#5492](https://github.com/oscar-system/Oscar.jl/pull/5492) Fix computing saturation of modules over quotient rings + +### Combinatorics + +#### New features or extended functionality + +- [#5235](https://github.com/oscar-system/Oscar.jl/pull/5235) Construct `PhylogeneticTree` from graph +- [#5477](https://github.com/oscar-system/Oscar.jl/pull/5477) Add `multicombinations` to Oscar +- [#5530](https://github.com/oscar-system/Oscar.jl/pull/5530) Support optional "inplace" iteration for combinations and multicombinations + +#### Improvements or additions to documentation + +- [#5431](https://github.com/oscar-system/Oscar.jl/pull/5431) Improve combinatorics documentation +- [#5446](https://github.com/oscar-system/Oscar.jl/pull/5446) Further improvements to documentation for `combinations` + +#### Miscellaneous changes + +- [#5228](https://github.com/oscar-system/Oscar.jl/pull/5228) Major changes and updates to AlgebraicStatistics +- [#5485](https://github.com/oscar-system/Oscar.jl/pull/5485) Fix spelling of `is_acyclic` for directed graphs. Deprecate `is_acylic`. + +### F-Theory Tools + +#### Performance improvements or improved testing + +- [#5295](https://github.com/oscar-system/Oscar.jl/pull/5295) Reduce yet more randomness in FTheoryTools + +### Groups + +#### New features or extended functionality + +- [#4826](https://github.com/oscar-system/Oscar.jl/pull/4826) Improve the handling of matrix groups over number fields +- [#5250](https://github.com/oscar-system/Oscar.jl/pull/5250) Add `fixed_points` for `PermGroup` and `PermGroupElem` +- [#5267](https://github.com/oscar-system/Oscar.jl/pull/5267) Add `order_bound` keyword argument to `subgroup_classes` +- [#5270](https://github.com/oscar-system/Oscar.jl/pull/5270) Add an iterator of subspaces of finite vector spaces +- [#5288](https://github.com/oscar-system/Oscar.jl/pull/5288) Add `p_rump` for `GAPGroup` and extend `torsion_subgroup` for `GAPGroup` and `WeylGroup` +- [#5453](https://github.com/oscar-system/Oscar.jl/pull/5453) Add `character_degrees` for a given group or character table, or for given invariants of a finite abelian group and finite field +- [#5456](https://github.com/oscar-system/Oscar.jl/pull/5456) Add `encode` and `pc_group` for encoding finite pc groups into integers and back +- [#5532](https://github.com/oscar-system/Oscar.jl/pull/5532) Add a constructive membership test for double cosets + +#### Fixed bugs that resulted in unexpected errors + +- [#5594](https://github.com/oscar-system/Oscar.jl/pull/5594) Fix raising matrix group elements to negative powers + +### Lie Theory + +#### Only changes experimental parts of OSCAR + +- [#5290](https://github.com/oscar-system/Oscar.jl/pull/5290) Add `basis_coordinate_ring_kodaira_demazure` + +### Number Theory + +#### New features or extended functionality + +- [#5251](https://github.com/oscar-system/Oscar.jl/pull/5251) Allow `discriminant_annihilator` as input for `enumerate_classes_of_lattices_with_isometry` +- [#5339](https://github.com/oscar-system/Oscar.jl/pull/5339) Methods for group actions on `ZZLat` +- [#5457](https://github.com/oscar-system/Oscar.jl/pull/5457) Allow to specify several characteristic polynomials in lattice with isometry enumeration + +#### Performance improvements or improved testing + +- [#5545](https://github.com/oscar-system/Oscar.jl/pull/5545) Implement the decomposition approach for orthogonal group computation and isometry testing of integer lattices. This results in a vast speedup for lattices which are not generated by their shortest vectors. + +### Polyhedral Geometry + +#### New features or extended functionality + +- [#4444](https://github.com/oscar-system/Oscar.jl/pull/4444) Add transformations for polyhedral fans and complexes +- [#4709](https://github.com/oscar-system/Oscar.jl/pull/4709) Introduce various variants of `halfspace_matrix_pair(ZZ, ...)` for polyhedral objects to access facets etc as matrices +- [#5372](https://github.com/oscar-system/Oscar.jl/pull/5372) Add `castelnuovo_excess` and `is_castelnuovo` for lattice polytopes +- [#5384](https://github.com/oscar-system/Oscar.jl/pull/5384) Enhance documentation and add further functions inherited from polymake + +### Toric Geometry + +#### New features or extended functionality + +- [#5032](https://github.com/oscar-system/Oscar.jl/pull/5032) Improve vector of minimal exponents method for cohomology computations +- [#5512](https://github.com/oscar-system/Oscar.jl/pull/5512) Deprecate `all_cohomologies` in favor of `sheaf_cohomology` +- [#5512](https://github.com/oscar-system/Oscar.jl/pull/5512) Support line bundle cohomology computation via local cohomology, including functorial aspects + +### Tropical Geometry + +#### New features or extended functionality + +- [#4001](https://github.com/oscar-system/Oscar.jl/pull/4001) Tropical polyhedra: Types and basic properties + +### Changes related to the package GAP + +- [#5374](https://github.com/oscar-system/Oscar.jl/pull/5374) Update GAP.jl to 0.16, i.e. GAP to 4.15.1 + +### Changes related to the package Hecke + +- [#5533](https://github.com/oscar-system/Oscar.jl/pull/5533) Update Hecke to 0.39 + +### Changes related to the package Singular + +- [#5489](https://github.com/oscar-system/Oscar.jl/pull/5489) Update Singular.jl to 0.27 +- [#5578](https://github.com/oscar-system/Oscar.jl/pull/5578) Update Singular.jl to 0.28 + +### Other changes + +#### Changes related to serializing data in the MRDI file format + +- [#5137](https://github.com/oscar-system/Oscar.jl/pull/5137) Add OscarDB to experimental + +#### Only changes experimental parts of OSCAR + +- [#4798](https://github.com/oscar-system/Oscar.jl/pull/4798) Implement multigraded implicitization +- [#5329](https://github.com/oscar-system/Oscar.jl/pull/5329) Add documentation for action polynomial rings + ## [1.5.1](https://github.com/oscar-system/Oscar.jl/releases/tag/v1.5.1) - 2025-11-20 The following gives an overview of the changes compared to the previous release. This list is not