Update changelog

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