From 06019bf19009d950cb9bde8e8a208387fbaaed11 Mon Sep 17 00:00:00 2001 From: "changelog[bot]" Date: Wed, 12 Nov 2025 21:21:57 +0000 Subject: [PATCH] Update changelog on 2025-11-12 --- CHANGELOG.md | 137 +++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 137 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 9c22bade75ee..7fcd2679127d 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -5,6 +5,143 @@ 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 +- [#5446](https://github.com/oscar-system/Oscar.jl/pull/5446) Further improvements to documentation for `combinations` + +### Groups + +#### New features or extended functionality + +- [#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 +- [#5532](https://github.com/oscar-system/Oscar.jl/pull/5532) add a constructive membership test for double cosets + +### Lie Theory + +#### Only changes experimental parts of OSCAR + +- [#5290](https://github.com/oscar-system/Oscar.jl/pull/5290) Add `basis_coordinate_ring_kodaira_demazure` +- [#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 +- [#5384](https://github.com/oscar-system/Oscar.jl/pull/5384) polyhedral geometry: doc enhancements and 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 + +### 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 + +#### Only changes experimental parts of OSCAR + +- [#4798](https://github.com/oscar-system/Oscar.jl/pull/4798) Multigraded Implicitization implementation +- [#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 + +### **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". + +- [#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 + +- [#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