Update changelog for 1.5.0 release

CHANGELOG.md

@@ -5,6 +5,162 @@ 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.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
+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.
+
+### Highlights
+
+- [#4983](https://github.com/oscar-system/Oscar.jl/pull/4983) Don't export internal helpers `singular`, `singular_assure`, `singular_coeff_ring`, `singular_poly_ring` (they were never meant to be exported)
+- [#5046](https://github.com/oscar-system/Oscar.jl/pull/5046) Graduate "Quadratic forms and isometries" from experimental to officially supported
+
+### Renamings
+
+- [#5102](https://github.com/oscar-system/Oscar.jl/pull/5102) Rename some potentially ambiguous usages of `dim` and use `krull_dim`, `rank` or `vector_space_dim` instead
+
+### Algebraic Geometry
+
+- [#4951](https://github.com/oscar-system/Oscar.jl/pull/4951) Add support for spectral sequences in Cech cohomology
+- [#5065](https://github.com/oscar-system/Oscar.jl/pull/5065) Irreducible components for schemes
+- [#5186](https://github.com/oscar-system/Oscar.jl/pull/5186) Improve `is_smooth` for affine schemes.
+
+### Combinatorics
+
+- [#4933](https://github.com/oscar-system/Oscar.jl/pull/4933) Add type parameter to `Matroid`
+- [#4995](https://github.com/oscar-system/Oscar.jl/pull/4995) Add `maximal_cliques(::Graph{Undirected})`
+- [#5091](https://github.com/oscar-system/Oscar.jl/pull/5091) Add documentation for multi-sets and subset iterators to manual
+- [#5179](https://github.com/oscar-system/Oscar.jl/pull/5179) Add mixed graphs (graphs with both directed and undirected edges)
+- [#5182](https://github.com/oscar-system/Oscar.jl/pull/5182) Fix a bug in the computation of matroid realization spaces with saturated defining ideal
+- [#5193](https://github.com/oscar-system/Oscar.jl/pull/5193) Add documentation for graph visualization using Graphviz
+- [#5211](https://github.com/oscar-system/Oscar.jl/pull/5211) Add `is_acyclic` function for directed graphs
+- [#5244](https://github.com/oscar-system/Oscar.jl/pull/5244) Add `induced_subgraph`
+
+### Commutative Algebra
+
+- [#4915](https://github.com/oscar-system/Oscar.jl/pull/4915) Add support for generic modules over the integers and fields
+- [#4967](https://github.com/oscar-system/Oscar.jl/pull/4967) Introduce and use additional `is_noetherian`, `krull_dim` & `vector_space_dim` methods
+- [#5004](https://github.com/oscar-system/Oscar.jl/pull/5004) Print sheaf cohomology tables more compactly
+- [#5030](https://github.com/oscar-system/Oscar.jl/pull/5030) Deprecate `vector_space_dimension`, use `vector_space_dim` instead
+- [#5078](https://github.com/oscar-system/Oscar.jl/pull/5078) Support `kernel` of maps with Laurent polynomials as codomain
+- [#5080](https://github.com/oscar-system/Oscar.jl/pull/5080) Don't allow `grade` on graded polynomial ring
+- [#5185](https://github.com/oscar-system/Oscar.jl/pull/5185) Fix `radical` for ideals in polynomial rings over the integers
+- [#5240](https://github.com/oscar-system/Oscar.jl/pull/5240) Add `change_base_ring` for graded multivariate rings
+- [#5241](https://github.com/oscar-system/Oscar.jl/pull/5241) Add `rational_solutions` over larger field
+
+### F-Theory Tools
+
+- [#5017](https://github.com/oscar-system/Oscar.jl/pull/5017) Chern classes can be serialized
+- [#5019](https://github.com/oscar-system/Oscar.jl/pull/5019) For all QSMs, remember that toric ambient space is complete and smooth
+- [#5031](https://github.com/oscar-system/Oscar.jl/pull/5031) Compute integral and rational coefficients for **all** `G_4`-fluxes
+- [#5031](https://github.com/oscar-system/Oscar.jl/pull/5031) Upon construction, automatically express the defining cohomology class of each `G_4`-flux using the internally chosen generating set
+- [#5031](https://github.com/oscar-system/Oscar.jl/pull/5031) Deprecate `basis_of_h22_hypersurface` in favor of `gens_of_h22_hypersurface`
+- [#5031](https://github.com/oscar-system/Oscar.jl/pull/5031) Deprecate `basis_of_h22_hypersurface_indices` in favor of `gens_of_h22_hypersurface_indices`
+- [#5048](https://github.com/oscar-system/Oscar.jl/pull/5048) **Breaking:** Stop support for `su5_weierstrass_model_over_arbitrary_3d_base`
+- [#5048](https://github.com/oscar-system/Oscar.jl/pull/5048) **Breaking:** Stop support for `su5_tate_model_over_arbitrary_3d_base`
+- [#5071](https://github.com/oscar-system/Oscar.jl/pull/5071) Extended flexibility for `HypersurfaceModel` constructors
+- [#5071](https://github.com/oscar-system/Oscar.jl/pull/5071) Improved implementation of `set_weierstrass_model(h::HypersurfaceModel)`
+- [#5071](https://github.com/oscar-system/Oscar.jl/pull/5071) Improved implementation of `set_global_tate_model(h::HypersurfaceModel)`
+- [#5071](https://github.com/oscar-system/Oscar.jl/pull/5071) **Breaking:** Remove support for `sample_toric_variety()`
+- [#5071](https://github.com/oscar-system/Oscar.jl/pull/5071) **Breaking:** Remove support for `weierstrass_model(w::WeierstrassModel)`
+- [#5083](https://github.com/oscar-system/Oscar.jl/pull/5083) **Breaking:** Remove support for `set`-functions of metadata attributes of literature models.
+- [#5083](https://github.com/oscar-system/Oscar.jl/pull/5083) **Breaking:** Remove support for (most) `has`-functions, to tell if a (literature) model has a particular attribute.
+- [#5083](https://github.com/oscar-system/Oscar.jl/pull/5083) Introduce `add_torsion_section` method.
+- [#5156](https://github.com/oscar-system/Oscar.jl/pull/5156) Stabilize `singular_loci`'s refined Tate fiber type computation (Monte Carlo) with fixed seed
+- [#5161](https://github.com/oscar-system/Oscar.jl/pull/5161) **Breaking:** Drop support for `add_model_parameter(m::AbstractFTheoryModel, addition::String)`
+- [#5198](https://github.com/oscar-system/Oscar.jl/pull/5198) Serialize mappings of properties of toric varieties and update QSMDB
+- [#5200](https://github.com/oscar-system/Oscar.jl/pull/5200) Drop support for `cox_ring` of `FamilyOfSpaces`
+- [#5214](https://github.com/oscar-system/Oscar.jl/pull/5214) **Breaking:** Kwarg `check` renamed according to the role it plays/adjusting its role when needed. In most places, it was renamed to `completeness_check`. For constructors of G4-fluxes, we introduced the kwarg `consistency_check` (is the flux properly quantized? does it pass the transversality constraints?).
+- [#5214](https://github.com/oscar-system/Oscar.jl/pull/5214) Support for kwarg `completeness_check` extended. For instance, it is now allowed as input to `is_well_quantized`, `passes_transversality_checks`, `d3_tadpole` for individual G4-fluxes. But it is also used internally in many more places.
+- [#5214](https://github.com/oscar-system/Oscar.jl/pull/5214) Kwargs `completeness_check` and `consistency_check` are described in docstrings.
+- [#5214](https://github.com/oscar-system/Oscar.jl/pull/5214) **Breaking:** Stop support for `chosen_g4_flux_basis`, `basis_of_h22_hypersurface` and `basis_of_h22_hypersurface_indices`.
+- [#5269](https://github.com/oscar-system/Oscar.jl/pull/5269) **Breaking:** Stop support for `_blowup_global`, `_blowup_global_sequence`, and `_is_nontrivial`
+- [#5278](https://github.com/oscar-system/Oscar.jl/pull/5278) Make `generic_section` and functions derived thereby less random by providing a seed as kwarg
+
+### Groups
+
+- [#4987](https://github.com/oscar-system/Oscar.jl/pull/4987) Add `natural_gset` method for permutation, matrix & Weyl groups
+- [#4999](https://github.com/oscar-system/Oscar.jl/pull/4999) Add `extraspecial_group` and `is_extraspecial_group`
+- [#5026](https://github.com/oscar-system/Oscar.jl/pull/5026) Add functionality for pc groups and their elements: `hirsch_length`, `depth`, `relative_order`, `exponent_vector`, `leading_exponent`
+- [#5055](https://github.com/oscar-system/Oscar.jl/pull/5055) Add `permutation_character(G::GAPGroup, H::GAPGroup)`
+- [#5140](https://github.com/oscar-system/Oscar.jl/pull/5140) Add `smallest_moved_point` and `largest_moved_point`
+
+### Lie Theory
+
+- [#4570](https://github.com/oscar-system/Oscar.jl/pull/4570) Extend functionality of the experimental `BasisLieHighestWeight` module to Demazure modules
+
+### Number Theory
+
+- [#5082](https://github.com/oscar-system/Oscar.jl/pull/5082) Change `root_of_unity(K::QQAbField, n::Int)` to return always the root corresponding to $\exp(2\pi i/n)$
+- [#5109](https://github.com/oscar-system/Oscar.jl/pull/5109) Fix a bug in `galois_group` that resulted in too small groups being returned
+- [#5126](https://github.com/oscar-system/Oscar.jl/pull/5126) Add `isinteger`, `is_rational` and `is_integral` for `QQAbFieldElem`
+
+### Polyhedral Geometry
+
+- [#5217](https://github.com/oscar-system/Oscar.jl/pull/5217) `n_cones` and `cones` now properly consider all cones
+- [#5220](https://github.com/oscar-system/Oscar.jl/pull/5220) Add `filename` and `backend` keyword arguments to `visualize`
+- [#5246](https://github.com/oscar-system/Oscar.jl/pull/5246) Add support for serializing linear programs over non-rational fields
+
+### Toric Geometry
+
+- [#4928](https://github.com/oscar-system/Oscar.jl/pull/4928) Use symbols instead of strings for variables in toric geometry
+- [#5064](https://github.com/oscar-system/Oscar.jl/pull/5064) Introduce `class_group_with_map` and `picard_group_with_map`
+- [#5073](https://github.com/oscar-system/Oscar.jl/pull/5073) Use Laurent polynomial ring approach to speed up computation of `toric_ideal`
+- [#5234](https://github.com/oscar-system/Oscar.jl/pull/5234) Refine optional checks in toric varieties: introduce kwarg `completeness_check`
+- [#5278](https://github.com/oscar-system/Oscar.jl/pull/5278) Make `generic_section` and functions derived thereby less random by providing a seed as kwarg
+- [#5284](https://github.com/oscar-system/Oscar.jl/pull/5284) Implement chamber counting algorithm for toric line bundles
+- [#5287](https://github.com/oscar-system/Oscar.jl/pull/5287) **Breaking:** Require simplicial, projective toric varieties in the current cohomCalg implementation; update input tests
+
+### Changes related to serializing data in the MRDI file format
+
+- [#4992](https://github.com/oscar-system/Oscar.jl/pull/4992) Fix loading `FreeAssociativeAlgebraElem`s
+- [#4997](https://github.com/oscar-system/Oscar.jl/pull/4997) Allow loading matrices with non-commutative entries
+- [#5024](https://github.com/oscar-system/Oscar.jl/pull/5024) Move serialization code into new submodule `Oscar.Serialization`, replace `@import_all_serialization_functions` by `using Oscar.Serialization`
+- [#5094](https://github.com/oscar-system/Oscar.jl/pull/5094) Add option to `JSONSerializer` to suppress saving refs
+- [#5122](https://github.com/oscar-system/Oscar.jl/pull/5122) Add serialization for Matrix Groups
+- [#5191](https://github.com/oscar-system/Oscar.jl/pull/5191) Add support for multidimensional Array serialization
+- [#5196](https://github.com/oscar-system/Oscar.jl/pull/5196) Add serialization of `FinGenAbGroupHom`
+
+### Only changes experimental parts of OSCAR
+
+- [#5212](https://github.com/oscar-system/Oscar.jl/pull/5212) Add difference polynomial rings and differential polynomial rings
+
+### Changes related to the package AbstractAlgebra
+
+- [#4965](https://github.com/oscar-system/Oscar.jl/pull/4965) No longer export misleading `@perm_str` from AA
+- [#5110](https://github.com/oscar-system/Oscar.jl/pull/5110) Bump AbstractAlgebra to v0.46
+- [#5282](https://github.com/oscar-system/Oscar.jl/pull/5282) Bump AbstractAlgebra to v0.47
+
+### Changes related to the package GAP
+
+- [#4952](https://github.com/oscar-system/Oscar.jl/pull/4952) Add a `QQBar` interface to GAP
+- [#5049](https://github.com/oscar-system/Oscar.jl/pull/5049) Add support for GAP.jl 0.14
+- [#5226](https://github.com/oscar-system/Oscar.jl/pull/5226) Update to GAP.jl 0.15
+
+### Changes related to the package Hecke
+
+- [#5110](https://github.com/oscar-system/Oscar.jl/pull/5110) Bump Hecke to v0.37
+- [#5282](https://github.com/oscar-system/Oscar.jl/pull/5282) Bump Hecke to v0.38
+
+### Changes related to the package Nemo
+
+- [#5110](https://github.com/oscar-system/Oscar.jl/pull/5110) Bump Nemo to v0.51
+- [#5282](https://github.com/oscar-system/Oscar.jl/pull/5282) Bump Nemo to v0.52
+
+### Changes related to the package Polymake
+
+- [#5114](https://github.com/oscar-system/Oscar.jl/pull/5114) Update Polymake.jl to v0.13, polymake to v4.14
+
+### Changes related to the package Singular
+
+- [#5281](https://github.com/oscar-system/Oscar.jl/pull/5281) Update Singular.jl to 0.26
+
+### Other changes
+
+- [#4988](https://github.com/oscar-system/Oscar.jl/pull/4988) New implementation of `map_from_func` with changed argument order
+- [#5051](https://github.com/oscar-system/Oscar.jl/pull/5051) Drop support for julia versions older than current LTS (1.10)
+
 ## [1.4.1](https://github.com/oscar-system/Oscar.jl/releases/tag/v1.4.1) - 2025-06-07
 
 The following gives an overview of the changes compared to the previous release. This list is not