Update changelog on 2025-11-12

Author: changelog[bot]

CHANGELOG.md

@@ -5,6 +5,154 @@ 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-12
+
+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
+
+- [#5403](https://github.com/oscar-system/Oscar.jl/pull/5403) Add `factoring_standard_basis` command which uses `facstd` from `Singular.jl`
+
+### Combinatorics
+
+#### New features or extended functionality
+
+- [#5477](https://github.com/oscar-system/Oscar.jl/pull/5477) Add `multicombinations` to Oscar
+
+#### Improvements or additions to documentation
+
+- [#5431](https://github.com/oscar-system/Oscar.jl/pull/5431) Improve Combinatorics documentation
+
+### Groups
+
+#### New features or extended functionality
+
+- [#5250](https://github.com/oscar-system/Oscar.jl/pull/5250) Add `fixed_points` for `PermGroup` and `PermGroupElem`
+- [#5270](https://github.com/oscar-system/Oscar.jl/pull/5270) Add an iterator of subspaces of finite vector spaces
+- [#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
+
+### Lie Theory
+
+#### Only changes experimental parts of OSCAR
+
+- [#4570](https://github.com/oscar-system/Oscar.jl/pull/4570) Extend functionality to Demazure modules
+
+#### Other fixed bugs
+
+- [#5304](https://github.com/oscar-system/Oscar.jl/pull/5304) Fix `basis_lie_demazure` which wouldn't finish for some inputs
+
+### Number Theory
+
+#### New features or extended functionality
+
+- [#5339](https://github.com/oscar-system/Oscar.jl/pull/5339) Methods for group actions on `ZZLat`
+
+### Polyhedral Geometry
+
+#### New features or extended functionality
+
+- [#5372](https://github.com/oscar-system/Oscar.jl/pull/5372) Add `castelnuovo_excess` and `is_castelnuovo` for lattice polytopes
+
+### 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
+
+### Tropical Geometry
+
+### Changes related to the package GAP
+
+### Changes related to the package Hecke
+
+### Changes related to the package Singular
+
+### Other changes
+
+#### Changes related to serializing data in the MRDI file format
+
+- [#5137](https://github.com/oscar-system/Oscar.jl/pull/5137) Adds OscarDB to experimental
+
+#### New features or extended functionality
+
+- [#5267](https://github.com/oscar-system/Oscar.jl/pull/5267) Add `order_bound` keyword argument to `subgroup_classes`
+- [#5284](https://github.com/oscar-system/Oscar.jl/pull/5284) Implement chamber counting algorithm for toric line bundles
+- [#5288](https://github.com/oscar-system/Oscar.jl/pull/5288) Add `p_rump` for `GAPGroup` and extend `torsion_subgroup` for `GAPGroup` and `WeylGroup`
+- [#5384](https://github.com/oscar-system/Oscar.jl/pull/5384) polyhedral geometry: doc enhancements and further functions inherited from polymake 
+- [#5532](https://github.com/oscar-system/Oscar.jl/pull/5532) add a constructive membership test for double cosets
+
+#### Only changes experimental parts of OSCAR
+
+- [#4798](https://github.com/oscar-system/Oscar.jl/pull/4798) Multigraded Implicitization implementation
+- [#5290](https://github.com/oscar-system/Oscar.jl/pull/5290) Add `basis_coordinate_ring_kodaira_demazure`
+- [#5329](https://github.com/oscar-system/Oscar.jl/pull/5329) Add documentation for action polynomial rings
+
+#### Improvements or additions to documentation
+
+- [#5314](https://github.com/oscar-system/Oscar.jl/pull/5314) Improve documentation of fields
+- [#5446](https://github.com/oscar-system/Oscar.jl/pull/5446) Further improvements to documentation for `combinations`
+
+### **TODO** release notes: to be added
+
+If there are any PRs listed below, check their title and labels.
+When done, change their label to "release notes: use title".
+
+- [#5282](https://github.com/oscar-system/Oscar.jl/pull/5282) chore: update AA to 0.47, Nemo to 0.52, and Hecke to 0.38
+- [#5287](https://github.com/oscar-system/Oscar.jl/pull/5287) Require simplicial, projective toric varieties in the current cohomCalg implementation; update input tests.
+- [#5295](https://github.com/oscar-system/Oscar.jl/pull/5295) Reduce yet more randomness in FTheoryTools
+- [#5512](https://github.com/oscar-system/Oscar.jl/pull/5512) Toric line bundles
+
+### **TODO** insufficient labels for automatic classification
+
+The following PRs only have a topic label assigned to them, not a PR type. Either assign a type label to them (e.g., `enhancement`), or manually move them to the general section of the topic section in the changelog.
+
+#### Algebraic Geometry
+
+- [#5265](https://github.com/oscar-system/Oscar.jl/pull/5265) Add `f4ncgb` algorithm for non-commutative groebner basis computation
+
+#### Combinatorics
+
+- [#5235](https://github.com/oscar-system/Oscar.jl/pull/5235) Construct `PhylogeneticTree` from graph 
+- [#5485](https://github.com/oscar-system/Oscar.jl/pull/5485) Fix spelling of `is_acyclic` for directed graphs. Deprecate `is_acylic`.
+
+#### Number Theory
+
+- [#5251](https://github.com/oscar-system/Oscar.jl/pull/5251) Allow `discriminant_annihilator` as input for `enumerate_classes_of_lattices_with_isometry`
+- [#5457](https://github.com/oscar-system/Oscar.jl/pull/5457) Allow to specify several characteristic polynomials in lattice with isometry enumeration
+
+#### Polyhedral Geometry
+
+- [#4444](https://github.com/oscar-system/Oscar.jl/pull/4444) add transformations for polyhedral fans and complexes
+
+#### Tropical Geometry
+
+- [#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 v0.39
+
+#### Changes related to the package Singular
+
+- [#5281](https://github.com/oscar-system/Oscar.jl/pull/5281) Update Singular.jl to 0.26
+- [#5489](https://github.com/oscar-system/Oscar.jl/pull/5489) Update to Singular.jl 0.27
+
+
+### **TODO** Uncategorized PR
+
+If there are any PRs listed below, either apply the same steps
+as above, or change their label to "release notes: not needed".
+
+- [#5447](https://github.com/oscar-system/Oscar.jl/pull/5447) Hotfix Oscar.build()
+
 ## [1.5.0](https://github.com/oscar-system/Oscar.jl/releases/tag/v1.5.0) - 2025-09-11
 
 The following gives an overview of the changes compared to the previous release. This list is not