## Oscar v1.6.0 [Diff since v1.5.1](https://github.com/oscar-system/Oscar.jl/compare/v1.5.1...v1.6.0) **Merged pull requests:** - Introduce various variants of `halfspace_matrix_pair(ZZ, ...)` for polyhedral objects to access facets etc as matrices (#4709) (@alexej-jordan) - Improve the handling of matrix groups over number fields (#4826) (@ThomasBreuer) - Major changes and updates to AlgebraicStatistics (#5228) (@antonydellavecchia) - Support optional "inplace" iteration for combinations and multicombinations (#5530) (@mjrodgers) - Update changelog (#5544) (@github-actions[bot]) - Add documentation for eigenvalues and -spaces (#5559) (@Tobias271828) - Changelog script: Add a general section to release notes for PRs without type labels (#5565) (@aaruni96) - faster isometry group computation (#5567) (@simonbrandhorst) - allow to give known lattices to oscar_genus_representatives (#5568) (@simonbrandhorst) - Try better minimal_k (for local cohomology of toric line bundles) (#5570) (@HereAround) - Update Singular.jl to 0.28 (#5578) (@hannes14) - Fix some uses of `@inferred` (#5579) (@joschmitt) - more tests for rational_solutions (#5580) (@jankoboehm) - Introduce `GAPGroupEmbedding` maps (#5581) (@ThomasBreuer) - Intersection theory: more info on constructions (#5584) (@wdecker) - Precomputed Gröbner basis for quantum symmetric groups (#5585) (@Sequenzer) - improved callback function for f4ncgb (#5586) (@Sequenzer) - Move some tests to Nemo (#5589) (@fingolfin) - remove a GAP function that is now provided by GAP (#5591) (@ThomasBreuer) - Fix raising matrix group elements to negative powers (#5594) (@ThomasBreuer) - a skipped book test can now be run (#5595) (@ThomasBreuer) - `small_group_identification` works if the group stores it already (#5599) (@ThomasBreuer) - Bump actions/checkout from 5 to 6 (#5601) (@dependabot[bot]) - bump version to 1.7.0-DEV (#5602) (@benlorenz) - Version 1.6.0 (#5603) (@benlorenz) - Version 1.7.0-DEV (#5604) (@benlorenz) - booktests: Update MixedSubdivisions to v1.2 (#5607) (@lgoettgens) - update release date for 1.6.0 (#5609) (@benlorenz) **Closed issues:** - Improving search (#3816) - One should be able to compute primitive facets (#4682) - Improve performance of `Combination`s ~~for the special case of 99% of the usage?~~ with `inplace` option (#4993) - Documenter warnings on `master` (#5131) - `conjugacy_classes` for matrix groups sometimes requires to trigger an order computation first (#5133) - Oscar 1.5 release (#5225) - Click on title in web/html manual seems to do nothing (#5273) - Add Oscar wrappers for GAP's `CodePcGroup` and `PcGroupCode` (#5343) - [quibble/documentation] is_square for matrices (esp. ZZMatrix) (#5441) - Incorrect Gröbner basis over rational function field (#5571) - Missing dimension in computation of realization spaces of matroids (#5575)

## Oscar v1.5.0 [Diff since v1.4.1](https://github.com/oscar-system/Oscar.jl/compare/v1.4.1...v1.5.0) 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) **Merged pull requests:** - Extend functionality to Demazure modules (#4570) (@janikapeters) - Update changelog script (#4719) (@aaruni96) - Improve GModule support for ModuleFP (#4858) (@fingolfin) - Add support for generic modules over the integers and fields (#4915) (@jankoboehm) - Use symbols instead of strings for variables in toric geometry (#4928) (@lkastner) - Add type parameter to `Matroid` (#4933) (@fingolfin) - Add support for spectral sequences in Cech cohomology (#4951) (@HechtiDerLachs) - Improvements for sparse modules from #4951 (#4955) (@HechtiDerLachs) - Add element constructor from letters for `FPGroup` (#4958) (@jamesnohilly) - Introduce and use additional `is_noetherian`, `krull_dim` & `vector_space_dim` methods (#4967) (@emikelsons) - Replace `AbstractAlgebra.combinations` (#4968) (@mjrodgers) - Adapt Lie algebras to `vector_space_dim` (#4971) (@lgoettgens) - fix: [`QuadFormAndIsom`] handling of type condition (#4979) (@StevellM) - docu localization: follow-up to PR #4969 (#4980) (@wdecker) - Add label checking CI job (#4981) (@lgoettgens) - Repair simplification for free resolutions (#4982) (@HechtiDerLachs) - Don't export internal helpers `singular`, `singular_assure`, `singular_coeff_ring`, `singular_poly_ring` (they were never meant to be exported) (#4983) (@fingolfin) - Replace `oscar_assure` by `oscar_generators` (#4984) (@fingolfin) - Reduce `singular_assure` usage further (#4985) (@fingolfin) - Fix upgrades docs (#4986) (@antonydellavecchia) - Add `natural_gset` method for permutation, matrix & Weyl groups (#4987) (@jamesnohilly) - New implementation of `map_from_func` with changed argument order (#4988) (@mjrodgers) - Fix printing of FreeAssociativeAlgebraIdeals (#4989) (@lgoettgens) - cleanup in the GAP package OscarInterface (#4990) (@ThomasBreuer) - fix handle refs for IPCserializer (#4991) (@antonydellavecchia) - Fix loading `FreeAssociativeAlgebraElem`s (#4992) (@lgoettgens) - SubquoModule ---> subquotient in code examples (#4994) (@wdecker) - Add `maximal_cliques(::Graph{Undirected})` (#4995) (@antonydellavecchia) - Allow loading matrices with non-commutative entries (#4997) (@lgoettgens) - Add `extraspecial_group` and `is_extraspecial_group` (#4999) (@ThomasBreuer) - add a remark about a difference between OSCAR and GAP (#5000) (@ThomasBreuer) - Use oscar-system/should-i-notify action (#5001) (@aaruni96) - Replace unusual `getindex` methods (#5003) (@fingolfin) - Print sheaf cohomology tables more compactly (#5004) (@fingolfin) - feat [`QuadFormAndIsom`]: more flexible inputs for functions with parameters (#5005) (@StevellM) - A mysterious (?) `singular_assure` call (#5006) (@fingolfin) - Rename IdealGens member 'gens' to 'gensBiPolyArray' (#5007) (@fingolfin) - Intersection theory: Pass along attribute `:alg` in `projective_bundle`, more in docu (#5008) (@wdecker) - FTheoryTools: Improve documentation (#5009) (@HereAround) - singular_assure: if I.isGB is set then I.ord must also be set (#5010) (@fingolfin) - Add `natural_gset` to group action documentation (#5011) (@jamesnohilly) - Remove `singular_assure` (#5012) (@fingolfin) - Replace some uses of '@attr Any' (#5014) (@fingolfin) - FTheoryTools: Execute lifts carefully (#5016) (@HereAround) - Chern classes can be serialized (#5017) (@HereAround) - Resolution cleanup, round two (#5018) (@HechtiDerLachs) - For all QSMs, remember that toric ambient space is complete and smooth (#5019) (@HereAround) - Improving documentation for wreath Macdonald polynomials (#5021) (@RaphaelPaegelow) - Move serialization code into new submodule `Oscar.Serialization`, replace `@import_all_serialization_functions` by `using Oscar.Serialization` (#5024) (@fingolfin) - Adjust docu following PRs #4982, #5018 (#5025) (@wdecker) - Add functionality for pc groups and their elements: `hirsch_length`, `depth`, `relative_order`, `exponent_vector`, `leading_exponent` (#5026) (@jamesnohilly) - Fix bug in mres (#5027) (@jankoboehm) - Update test following PR #5027 (#5029) (@wdecker) - Deprecate `vector_space_dimension`, use `vector_space_dim` instead (#5030) (@fingolfin) - More features for FTheoryTools (#5031) (@HereAround) - Filter some more doctests for julia 1.13 (#5033) (@lgoettgens) - Custom printing for FPGroupElem (#5035) (@fingolfin) - Tweak printing of AutomorphismGroup (#5036) (@fingolfin) - BookTests: Use julia-version-specific testfile if available (#5037) (@lgoettgens) - Rename MatrixGroup arg from x to G (#5038) (@fingolfin) - Tweak printing of symmetric & alternating groups (#5039) (@fingolfin) - Tweak printing of (semi)direct & wreath product groups (#5040) (@fingolfin) - Free resolutions: correct length function (#5041) (@wdecker) - Fix more booktests with nightly and adjust path regex (#5044) (@lgoettgens) - Graduate "Quadratic forms and isometries" from experimental to officially supported (#5046) (@StevellM) - docs: fix type of some code blocks (#5047) (@fingolfin) - FTheoryTools documentation improvements (#5048) (@HereAround) - Add support for GAP.jl 0.14 (#5049) (@fingolfin) - docs: use `chain_complex` instead of `ComplexOfMorphisms` (#5050) (@Fe-r-oz) - Drop support for julia versions older than current LTS (1.10) (#5051) (@benlorenz) - Migrate spectral sequences and derived pushforward to the hypercomplexes (#5054) (@HechtiDerLachs) - Add `permutation_character(G::GAPGroup, H::GAPGroup)` (#5055) (@ThomasBreuer) - Add user interface for free resolutions over local rings (#5057) (@wdecker) - Remove obsolete VERSION checks (#5058) (@lgoettgens) - Add `matrix_group(::GModule)` and `direct_sum(::Vector{<:ModuleFPHom})` (#5059) (@fingolfin) - Remove `refs_key` (#5060) (@fingolfin) - Introduce `class_group_with_map` and `picard_group_with_map` (#5064) (@HereAround) - Irreducible components for schemes (#5065) (@simonbrandhorst) - Require curves to be of pure dimension one. (#5066) (@simonbrandhorst) - singular_locus for projective schemes (#5067) (@paemurru) - some love for rational points (#5068) (@simonbrandhorst) - FTheory: More documentation and related improvements (#5071) (@HereAround) - remove unnecessary runtests files from experimental packages (#5072) (@benlorenz) - Use Laurent polynomial ring approach to speed up computation of `toric_ideal` (#5073) (@lkastner) - `homology` now works with `ComplexOfMorphisms{AbstractAlgebra.FPModule{FqFieldElem}}` (#5075) (@Fe-r-oz) - Support `kernel` of maps with Laurent polynomials as codomain (#5078) (@thofma) - Don't allow `grade` on graded polynomial ring (#5080) (@fingolfin) - Replace a bunch of calls to and methods for `dim` by `rank` and `krull_dim`, cleanup (#5081) (@fingolfin) - Change `root_of_unity(K::QQAbField, n::Int)` to return always the root corresponding to $\exp(2\pi i/n)$ (#5082) (@ThomasBreuer) - FTheoryTools: Yet more documentation changes (#5083) (@HereAround) - booktest: try one more explicit cleanup for mongoc connection (#5084) (@benlorenz) - add a runtime check for the required Julia version (#5085) (@ThomasBreuer) - Move documentation to its own repository (#5086) (@lgoettgens) - Fix `show` for `Oscar.Serialization.type_params` (#5087) (@fingolfin) - Clarify `all_blocks` docstring (#5088) (@fingolfin) - Add documentation for multi-sets and subset iterators to manual (#5091) (@joschmitt) - add `induce` for `GSetBySubgroupTransversal` (#5092) (@ThomasBreuer) - return -inf instead of -1 for the empty projective scheme (issue #5090) (#5093) (@afkafkafk13) - Add option to `JSONSerializer` to suppress saving refs (#5094) (@lgoettgens) - Try to fix invariant theory booktests (again) (for nightly) (#5095) (@lgoettgens) - Remove is_known(dim,...) methods (#5098) (@fingolfin) - Permutation gmodules, hom, end for them, abelian groups (#5101) (@fieker) - Rename some potentially ambiguous usages of `dim` and use `krull_dim`, `rank` or `vector_space_dim` instead (#5102) (@emikelsons) - Adjust some surface code following PR #5066 (#5103) (@wdecker) - Addressing some (but not all) problems in issue #4860 (#5104) (@wdecker) - Change output in doc test to remove random failures (cf. PR 5103) (#5107) (@HereAround) - Fix a bug in `galois_group` that resulted in too small groups being returned (#5109) (@fieker) - Update AA to 0.46, Nemo to 0.51, Hecke to 0.37 (#5110) (@lgoettgens) - Revert "Set `OMP_NUM_THREADS=1` unconditionally (bandaid for #4806) (#4811)" (#5111) (@lgoettgens) - Speed up `degree(::GAPGroupClassFunction)` (#5113) (@lgoettgens) - Update Polymake.jl to v0.13, polymake to v4.14 (#5114) (@benlorenz) - fix krull_dim (#5115) (@jankoboehm) - disambiguate matrix construction for SubObjectIterator (#5116) (@benlorenz) - Set attributes for varieties. (#5118) (@simonbrandhorst) - Make QQAbFieldElem & QQAbFieldGen immutable (#5120) (@fingolfin) - Make `RootSpaceElem`, `DualRootSpaceElem` and `WeightLatticeElem` immutable (#5121) (@fingolfin) - Add serialization for Matrix Groups (#5122) (@antonydellavecchia) - Fix multiplication of group cosets with group elements (#5123) (@ThomasBreuer) - Make some element structs immutable (#5124) (@fingolfin) - Improve the documentation of G-sets (#5125) (@ThomasBreuer) - Add `isinteger`, `is_rational` and `is_integral` for `QQAbFieldElem` (#5126) (@SoongNoonien) - Move `version-1-3-0-files` artifact to its own repo (#5127) (@lgoettgens) - Delete three obsolete files (#5128) (@lgoettgens) - Fix for issue #4865 (Output of `groebner_walk` is not reduced) (#5130) (@ooinaruhugh) - Fix printing for automorphism groups of `FinGenAbGroup` and `TorQuadModule` (#5132) (@StevellM) - Fix race conditions in documentation deployment (#5134) (@lgoettgens) - Fix warning while doc building (#5135) (@lgoettgens) - Micro-optimization: avoid one alloc per sparse_row call (#5136) (@fingolfin) - Adapt to NemoExt in GAP (#5139) (@lgoettgens) - Add `smallest_moved_point` and `largest_moved_point` (#5140) (@fingolfin) - Fix booktest in Julia nightly (#5142) (@fingolfin) - Some tweaks for borcherds' method (#5144) (@simonbrandhorst) - Follow-up to #5083: Minor Doc Fixes (#5145) (@HereAround) - [FTheoryTools] More Improvements (#5146) (@HereAround) - [FTheoryTools] Restructure documentation (#5147) (@HereAround) - [FTheoryTools] Overhaul the QSM documentation (#5148) (@HereAround) - Use OSCAR<->GAP isomorphism of group in `stabilizer` (#5150) (@joschmitt) - More fixes on free resolutions (#5152) (@wdecker) - Avoid fraction_field(::RationalFunctionField) (#5153) (@fingolfin) - FTheoryTools: Yet more docu changes (#5154) (@HereAround) - Stabilize `singular_loci`'s refined Tate fiber type computation (Monte Carlo) with fixed seed (#5156) (@HereAround) - Move `InfiniteDimensionError` to AA (#5158) (@emikelsons) - [FTheoryTools] Move kbar^3 docu and source code to generalities (#5159) (@HereAround) - [FTheoryTools] More docu changes (#5160) (@HereAround) - [FTheoryTools] Overhaul adder functions (#5161) (@HereAround) - Add another hash filter for nightly doctests (#5162) (@lgoettgens) - FTheoryTools: More improvements (#5164) (@HereAround) - fix `show` for `AutomorphismGroup` (#5165) (@ThomasBreuer) - Update the labeled graph docs (#5169) (@antonydellavecchia) - [FTheoryTools] Overhaul verbosity printing (#5170) (@HereAround) - slightly improved docs for graphs (#5171) (@micjoswig) - Use `orbit_via_Julia` generically (#5172) (@ThomasBreuer) - Add documentation, rename some functions and simplify the printing (#5173) (@StevellM) - Bump actions/checkout from 4 to 5 (#5177) (@dependabot[bot]) - Change some longer tests to be extra-long (#5178) (@emikelsons) - Add mixed graphs (graphs with both directed and undirected edges) (#5179) (@antonydellavecchia) - Fix a bug in the computation of matroid realization spaces with saturated defining ideal (#5182) (@LukasKuehne) - Parameterize change group type docstring (#5184) (@lgoettgens) - Fix `radical` for ideals in polynomial rings over the integers (#5185) (@HechtiDerLachs) - Improve `is_smooth` for affine schemes. (#5186) (@HechtiDerLachs) - Mention documentation preview in developer documentation of documentation (#5187) (@thofma) - Adjust metioning of documentation preview in documentation (#5189) (@joschmitt) - small change to readme (#5190) (@antonydellavecchia) - Add support for multidimensional Array serialization (#5191) (@antonydellavecchia) - Another round of (book) test changes for nightly (#5192) (@lgoettgens) - Add documentation for graph visualization using Graphviz (#5193) (@YueRen) - doc: adjust to changes in Nemo (#5194) (@thofma) - TropicalGeometry: changed tropical_semiring() docu (#5195) (@YueRen) - Add serialization of `FinGenAbGroupHom` (#5196) (@HereAround) - Cleanup `src/Rings/hilbert.jl` (#5197) (@fingolfin) - Serialize mappings of properties of toric varieties and update QSMDB (#5198) (@HereAround) - Add some developer documentation for is_known. (#5199) (@HechtiDerLachs) - Drop support for `cox_ring` of `FamilyOfSpaces` (#5200) (@HereAround) - Remove empty `src/Rings/integer.jl` (#5203) (@fingolfin) - phylogenetic trees: doc update (#5204) (@micjoswig) - [FTheoryTools] Improve and extend CI tests (#5205) (@HereAround) - fixes regression in phylo serialization + tests (#5206) (@antonydellavecchia) - Move phylogenetics (#5207) (@antonydellavecchia) - Intersection theory: Minor supplements to docu (#5208) (@wdecker) - Fix spelling: this is OSCAR, not Oscar (#5209) (@fingolfin) - Add `is_acyclic` function for directed graphs (#5211) (@antonydellavecchia) - Add difference polynomial rings and differential polynomial rings (#5212) (@SirToby25) - Link to website in README for "How to cite OSCAR" (#5213) (@joschmitt) - FTheoryTools: Improve kwargs (#5214) (@HereAround) - `n_cones` and `cones` now properly consider all cones (#5217) (@benlorenz) - Add `filename` and `backend` keyword arguments to `visualize` (#5220) (@benlorenz) - [FTheoryTools] Reduce code duplication (#5222) (@HereAround) - some bypass surgery for pmap (#5223) (@antonydellavecchia) - Update to GAP.jl 0.15 (#5226) (@lgoettgens) - fix creation of `class_function` objects (#5227) (@ThomasBreuer) - adds export to Serialization Module for params_all_equal (#5230) (@antonydellavecchia) - Fix `build_doc` issues with Julia 1.12, deduplicate printing docs, fix a broken link (#5232) (@fingolfin) - Refine optional checks in toric varieties: introduce kwarg `completeness_check` (#5234) (@HereAround) - Bump `serialization-upgrade-tests` (#5238) (@lgoettgens) - Add `change_base_ring` for graded multivariate rings (#5240) (@HechtiDerLachs) - Add `rational_solutions` over larger field (#5241) (@thofma) - Update changelog for 1.5.0 release (#5243) (@github-actions[bot]) - Add `induced_subgraph` (#5244) (@benlorenz) - Add support for serializing linear programs over non-rational fields (#5246) (@benlorenz) - Consolidate `id_hom` and `identity_map` (#5247) (@jamesnohilly) - Intersection theory: Some specifications (#5248) (@wdecker) - Cleaner Upgrade handling (#5249) (@antonydellavecchia) - Minor changes to Groebner basis docu (#5253) (@YueRen) - [FTheoryTools] More content for the documentation (#5254) (@HereAround) - Serialization upgrade test files version bump (#5255) (@antonydellavecchia) - Allow permutation matrices over non-commutative rings (#5260) (@joschmitt) - changelog: check more subprocess exit codes, full checkout to get tags and history (#5261) (@benlorenz) - Jaa/hilbert clean up (#5262) (@JohnAAbbott) - [FTheoryTools] Minor improvement (#5263) (@HereAround) - Remove some unreachable code (#5264) (@lgoettgens) - [FTheoryTools] Updates to documentation on resolutions (#5268) (@apturner) - Drop support for some old functionality that is no longer used (#5269) (@HereAround) - fix the argument check in `conjugate_group` (#5276) (@ThomasBreuer) - Elimination GB handling after f4 (#5277) (@ederc) - [ToricVarieties] Make `generic_section` and functions derived thereby less random by providing a seed as kwarg (#5278) (@HereAround) - Update Singular.jl to 0.26 (#5281) (@lgoettgens) - chore: update AA to 0.47, Nemo to 0.52, and Hecke to 0.38 (#5282) (@thofma) - Implement chamber counting algorithm for toric line bundles (#5284) (@emikelsons) - Add note for programmer about `underlying_scheme` (#5285) (@HechtiDerLachs) - Small cleanup to commit to #5151 (#5286) (@StevellM) - Require simplicial, projective toric varieties in the current cohomCalg implementation; update input tests. (#5287) (@HereAround) - Groups: speed up `==` for identical inputs (#5289) (@fingolfin) - Cleanup some docstrings in src/AlgebraicGeometry/RationalPoint/ (#5292) (@fingolfin) - chore: set version to 1.6.0-DEV (#5294) (@lgoettgens) - [release-1.5] Version 1.5.0 (#5296) (@lgoettgens) - Fix booktests on julia nightly (again) (#5297) (@lgoettgens) - Some suggestions and contributions (#5300) (@StevellM) - [release-1.5] Backports for 1.5.0 (#5301) (@lgoettgens) - Use Fix2 (#5302) (@StevellM) **Closed issues:** - Add an AUTHORS.md or CONTRIBUTORS.md or so... (#277) - Orbits (#348) - Hodge numbers for complete intersections in toric varieties (#770) - Toric Varieties: Should class_group return a group and a morphism? (#1095) - Better `visualize`? (#1614) - Further improvements on affine schemes (#1657) - Weighted projective space as scheme (#1672) - Reducing usage of or even removing `groebner_assure`, `oscar_assure`, `singular_assure` (#1920) - Document optional latex output (#2161) - `identity_matrix`, `ones` and `zeros` feature parity (#2231) - FTheoryTools: Add type specializations (#2356) - FTheoryTools: Convert model over arbitrary base to model over specific base (and back) (#2361) - Proper serialization of literature models in FTheoryTools (#2362) - FTheoryTools: Add resolution zero sections to all literature models with resolutions (#2522) - FTheoryTools: Serialize triangulation? (#2548) - Check for unnecessary uses of underlying_scheme (#2584) - `id_hom` vs. `identity_map` (#2653) - Change `dim` field of `MPolyQuoIdeal` and other structs to allow distinguishing "unknown" from e.g. "zero ideal" (#2721) - Adjust printing of GAP groups & group homomorphism to follow OSCAR printing guidelines (#2772) - Basic combinatorics in OSCAR (#3147) - Error on 1.10 ubuntu long (#3184) - update doc of serialization (#3761) - Mongodb error after running booktests (#3961) - words, syllables, letters and their inverse for fpgroup and pc group elems in all variations (#4150) - Symbols vs. strings in toric varieties (#4159) - Julia 1.10 is now LTS instead of 1.6, consequences for us (#4200) - Add more DOIs and URLs to bibliography (#4214) - Rare macOS segfault in BasisLieHighestWeight tests (#4284) - GSet improvements (#4288) - Wishlist for `eigenspace` and `eigenspaces` (#4388) - Can we introduce a convention to ask whether or not a property of an object is known? (#4394) - Maintaining a NEWS.md / CHANGES.md / ... file (#4431) - rare tate-models error: Singular loci split vs non-split (#4593) - Krull dimension of polynomial rings over non-noetherian rings (#4606) - Release notes script: be nicer when run from Oscar.jl root directory (#4666) - Release notes: enhance the workflow to take an optional argument specifying the target version (1.2.3 vs. 1.3.0 ...) and/or whether this is a minor or major release (#4669) - Release notes script: order entries by ascending (not descending) PR number (#4670) - Release notes script: replace startDate hack (#4671) - `toric_ideal(pts::ZZMatrix)` is (often) very inefficient (#4685) - extra-long tests failing and failing to notify (#4699) - Clarify state of `combinations` (#4726) - Confusion: `MapFromFunc` vs. `map_from_func` (#4741) - Move QuadFormAndIsom from experimental to source (#4796) - Ultrametric check for phylogenetic trees (#4802) - Polymake failures on julia 1.11.5 (#4806) - Add `intersect(::Cone,::Polyhedron)` (#4813) - quotients of laurent polynomial rings (#4814) - `cones` and `n_cones` fail for polyhedral fans consisting only of a lineality space (#4815) - Move `gh-pages` branch into a separate repository (#4842) - `coordinates` for `FreeModElem` does not work over all base ring types (#4855) - Output of `groebner_walk` is not reduced (#4865) - Errors on nightly (mostly?) due to new hashing (#4882) - Dimension inconsistency with zero module and return type of ext functor (#4884) - Class group map printing (#4935) - Add `natural_gset` method for permutation & Weyl groups (#4938) - Wrap GAP's `ExtraspecialGroup`, and add our own `is_extraspecial` (#4947) - Add a GAP wrapper for `QQBar` (#4948) - Tropical hypersurfaces from polymake have redundant rays (#4974) - Element test for modules (#4977) - FLINT 3.3.0 upgrade tracker (#4996) - FTheoryTools: Model query needs improving (#5002) - List of things we may change once we drop support for old julias (#5023) - bug when computing minimal free presentations (#5028) - Move basic combinatorics (partitions/compositions/combinations...) to AbstractAlgebra? (#5061) - Add `subsets` and `MSets` to combinatorics documentation (#5062) - `root_of_unity` is inconsistent for the abelian and algebraic closure of `QQ` (#5069) - Speed up `is_equidimensional` (#5079) - is_smooth(::Scheme) returns incorrect results (#5089) - dim(X) returns -1 for a projective scheme in a corner case (#5090) - Add `isinteger`/`is_integer`, `is_rational` and `is_integral`/`is_algebraic_integer` for `QQAbFieldElem` (#5096) - Attributes in the algebraic geometry set-up (#5099) - Replace `version-1-3-0-files` by a git repository (#5100) - Document general `GSet` interface (#5106) - Wrong Galois group (or splitting field) (#5108) - `degree` of character is surprisingly slow (#5112) - Graph visualized as a straight line (#5166) - Method `is_homogeneous` does not exist (#5174) - Radical in ZZ[x1,x2] gives wrong output (#5175) - CI failures in `test/AlgebraicGeometry/Schemes/Tjurina.jl` (#5201) - `pmap` gets stuck with Oscar worker pools (#5218) - `automorphism_group` of a Polytope over QQBar throws C++/perl compilation failure (#5233) - Timeout of "Run CI without experimental / test (short) (pull_request)" after 150 minutes (#5256) - Serialization overwrites existing files (#5258) - conjugation problem (#5274) - action on double cosets (#5275)

## Oscar v1.4.1 [Diff since v1.4.0](https://github.com/oscar-system/Oscar.jl/compare/v1.4.0...v1.4.1) **Merged pull requests:** - ToricVarieties: Speedup (#4846) (@HereAround) - Remove `getproperty` and `setproperty` methods for IdealGens (#4937) (@fingolfin) - Use ItemQuantity in show for FreeAssociativeAlgebraIdeal (#4945) (@fingolfin) - Fix number theory booktest (#4946) (@fingolfin) - Fix `minimal_generating_set` for ideals created by a f4 groebner basis (#4950) (@lgoettgens) - Add a `QQBar` interface to GAP (#4952) (@ThomasBreuer) - Remove compat for `GAP_lib_jll` (#4954) (@lgoettgens) - Resolve hash error for FTM-1511-03209 artifact (#4957) (@emikelsons) - CI: allow running extra-long tests via label / dispatch (#4959) (@benlorenz) - Remove calls to `groebner_assure` (#4961) (@ederc) - Fix conversion of GAP cyclotomics to GAP's QQBarField (#4962) (@fingolfin) - Removes `assert_has_gb` (#4964) (@ederc) - No longer export misleading `@perm_str` from AA (#4965) (@lgoettgens) - Replace non-standard whitespace chars (#4966) (@lgoettgens) - extend/correct docu on localization and more (#4969) (@wdecker) - Backports for 1.4.1 (#4970) (@benlorenz) - sb/fix ZZLatWithIsom (#4972) (@simonbrandhorst) - Update changelog (#4975) (@github-actions[bot]) - Update 1.4.1 release date in changelog (#4976) (@lgoettgens) **Closed issues:** - New OSCAR version 1.4? (#4877) - `minimal_generating_set` fails for ideals created by a f4 groebner basis (#4949) - FTM-1511-03209 artifact has wrong hash (#4956) - Do not export `perm"(1,2)(3,4)"` (#4963)

## Oscar v1.4.0 [Diff since v1.3.1](https://github.com/oscar-system/Oscar.jl/compare/v1.3.1...v1.4.0) **Merged pull requests:** - Add basics for quantum analogs (#2183) (@ulthiel) - Add partially ordered sets (#3928) (@benlorenz) - Overhaul tropical varieties, add various new options (#4061) (@YueRen) - Injective and irreducible resolutions of Q-graded modules (#4100) (@tom111) - Unify type encoding for similar types (#4331) (@antonydellavecchia) - set caching of polynomial rings to `false` in AG (#4371) (@HechtiDerLachs) - Add tropical linear spaces from graphs (#4445) (@YueRen) - Add `positive_tropical_variety` (#4447) (@YueRen) - Simple parallelization framework (#4501) (@HechtiDerLachs) - Improve documentation for the "Matrix groups" section (#4556) (@ThomasBreuer) - Generalize G-sets to Weyl groups (#4609) (@fingolfin) - Remove Documenter monkey patch (#4610) (@fingolfin) - Unify group iso functions for changing group type (#4616) (@lgoettgens) - Allow sorting w.r.t. monomial orderings / module orderings (#4626) (@lgoettgens) - Add local Schur indices for a character (Unger's algorithm) (#4628) (@ThomasBreuer) - Add `dicyclic_group`, `is_dicyclic_group` and have `quaternion_group` and `is_quaternion_group` be aliases of those (#4661) (@jamesnohilly) - Add labelings for graphs (#4663) (@antonydellavecchia) - Experimental: Add braid moves for words in Weyl groups (#4687) (@felix-roehrich) - Add `GSet` methods for `blocks` and related functions (#4692) (@mjrodgers) - Add tropical prevarieties generated by intersecting tropical hypersurfaces (#4703) (@danteluber) - Improve comparison of morphisms of modules (#4706) (@HechtiDerLachs) - Include 1/2 c2 in identification of flux families (#4728) (@HereAround) - Improve documentation (#4731) (@emikelsons) - Add iterator for combinations (#4735) (@thofma) - improve a citation (#4736) (@ThomasBreuer) - Talk ebernburg (#4738) (@fieker) - Add `degree_of_character_field` (#4740) (@ThomasBreuer) - fix: adjust to changes in rational reconstruction (#4742) (@thofma) - add `galois_representative_and_multiplicity` (#4743) (@ThomasBreuer) - improvements around character fields (#4745) (@ThomasBreuer) - Import `Multipartition` functionality from JuLie (#4746) (@mjrodgers) - Convert a `@repl` block to a `jldoctest` (#4747) (@lgoettgens) - Fix unescaped dollar sign in docs (#4748) (@lgoettgens) - Adjust input of should-i-notify-action to correspond with the updated action (#4751) (@aaruni96) - Fix cached orbits inside orbits (#4753) (@lgoettgens) - Add explanatory remark in groebner_bases.md (#4755) (@afkafkafk13) - avoid internet access during tests to access atlas data (#4757) (@ThomasBreuer) - Collapse docstrings in documentation to allow for easier navigation (#4758) (@thofma) - Cleanup docu for Borcherds method for Enriques surfaces (#4760) (@simonbrandhorst) - TropicalGeometry: Add some forgotten suggestions for docs (#4761) (@lkastner) - Improve linear algebra documentation (#4763) (@emikelsons) - Intersection Theory: Kontsevich spaces (#4764) (@wdecker) - New wrapper for Singular triangular decompositions (#4765) (@YueRen) - Stabilize booktests in `vinberg` (#4766) (@HechtiDerLachs) - fix exponentation of tropical polynomials (#4767) (@YueRen) - Fix typos (#4768) (@fingolfin) - Intersection theory: extend documentation on Bott formula (#4769) (@wdecker) - improvements for the group atlas (#4770) (@ThomasBreuer) - Use `Set` for `GSet` block systems (#4771) (@mjrodgers) - Intersection theory: Introduce Gromov-Witten invariants (#4772) (@wdecker) - Some more serialization of stuff around localizations (#4773) (@HechtiDerLachs) - Fix upgrades for Vector{ZZLat} (#4775) (@antonydellavecchia) - Turn two `@repl` blocks into `jldoctest` (#4776) (@fingolfin) - Adv/upgrade fracelem (#4778) (@antonydellavecchia) - Add exceptional classes and indices (#4779) (@emikelsons) - Oscar Worker Pool and parallel functions functionality such as pmap. (#4780) (@HechtiDerLachs) - Add `roots` for tropical polynomials (#4781) (@YueRen) - Temporarily fix Hecke version (#4782) (@thofma) - FTheoryTools - Some general improvments (#4784) (@HereAround) - fix: bump Hecke version (#4788) (@thofma) - Add `highest_root(R::RootSystem)` for convenience (#4789) (@felix-roehrich) - Fix attribute handling in tropical linear spaces (#4792) (@YueRen) - fix `quo` for the f.p. group on zero generators (#4794) (@ThomasBreuer) - Small cleanup in QuadFormAndIsom (#4795) (@simonbrandhorst) - Add experimental support for wreath Macdonald polynomials (#4797) (@RaphaelPaegelow) - fix: disable Parallel tests for now (#4800) (@thofma) - fix: use kronecker_product instead of kron (#4801) (@thofma) - [FTheoryTools] Extend extra long tests (#4803) (@HereAround) - Update docs part of ExperimentalTemplate (#4805) (@lgoettgens) - Change default ordering in `universal_enveloping_algebra` to be admissible (#4807) (@lgoettgens) - Enable CI caching for failed jobs (#4808) (@lgoettgens) - Fix `tensor_product` for `SubquoModules` (#4810) (@HechtiDerLachs) - Set `OMP_NUM_THREADS=1` unconditionally (bandaid for #4806) (#4811) (@lgoettgens) - Fix a bug in Borcherds' method. (#4818) (@simonbrandhorst) - Export/document `character_table_complex_reflection_group` (#4821) (@ThomasBreuer) - Updated I/O for Clifford algebras in separate file (#4822) (@SirToby25) - Add CI job that checks for consistent `@meta` blocks in all md pages (#4823) (@lgoettgens) - Reduce number of tests executed in extra-long-tests (#4825) (@HereAround) - check the result type of `GAP.Globals.PermutationOp` (#4827) (@ThomasBreuer) - Fix some typos in wreath product docstrings (#4829) (@lgoettgens) - Enable tests for maxima order NfNSGen (#4834) (@thofma) - `QuadFormAndIsom`: final patch before promotion to `src/` (#4835) (@StevellM) - Intersection theory: Extend docu (#4836) (@wdecker) - Fix `maximal_order` for `NfNSGen` (#4837) (@thofma) - Fix `tropical_variety_zerodimensional` (#4838) (@YueRen) - Add accessors `group` and `subgroup` for `SubgroupTransversal` (#4839) (@mjrodgers) - Fix saturation for principal ideals (#4841) (@ederc) - FTheoryTools Improvements (#4843) (@HereAround) - [FTheoryTools] Some minor improvements (#4844) (@HereAround) - GroebnerWalk: Remove perturbed walk (#4845) (@lgoettgens) - Solving Issue #4848 (#4849) (@wdecker) - Add `quo` for `LaurentMPolyWrapRing` (#4850) (@JohnAAbbott) - `is_gen` for graded rings (#4851) (@paemurru) - Replace a call to SRow by sparse_row (#4853) (@fingolfin) - Add `divexact` for `MPolyQuoRingElem` (#4862) (@joschmitt) - Commutative algebra: Improve docu w.r.t. coefficient rings (#4863) (@wdecker) - runtests: keep worker pool to avoid issues with extra processes from parallel tests (#4864) (@benlorenz) - [FTheoryTools] Better constructor for hypersurface models (#4866) (@HereAround) - Move more type piracy to respective `MoveTo*.jl` files (#4868) (@lgoettgens) - Update QSM Artifact (#4869) (@HereAround) - Add input check for `FreeModuleHom`s (#4870) (@HechtiDerLachs) - Replace `OrderedMultiIndex` with `Combination` (#4871) (@mjrodgers) - Pass `Oscar.doctestfilters()` to all `doctest` invocations (#4873) (@lgoettgens) - Remove an useless doctestfilter (#4874) (@lgoettgens) - Don't cache polynomial rings (#4875) (@joschmitt) - Rename `global_gauge_quotients` to `global_gauge_group_quotient` (#4876) (@HereAround) - Fix `symmetric_power` of a dim 0 module (#4878) (@lgoettgens) - Add `is_perfect` for algebraic closures of finite fields (#4879) (@thofma) - downgrade surfaces to version 1.3 (#4883) (@antonydellavecchia) - Intersection theory: Clean-up and further functionality (#4885) (@wdecker) - BasisLieHighestWeight: Refactor by introducing an internal `ModuleData` struct (#4886) (@janikapeters) - Fix some failures with Julia nightly, add missing `action_homomorphism(Omega::GSetByElements{FinGenAbGroup, S})` method (#4887) (@fingolfin) - Document the relation between "abelian invariants" and "elementary divisors" (#4888) (@ThomasBreuer) - Intersection theory: Further clean-up (#4889) (@wdecker) - Restrict `is_global`, `is_local` to total monomial orderings, add `is_(global|local)_block` (#4890) (@ederc) - deps: allow Polymake 0.12, adjust incidencematrix printing (#4892) (@benlorenz) - Encapsulate `groebner_assure` & friends in `PBWAlgebra(Quo).jl` (#4893) (@JohnAAbbott) - Bump AlgebraicSolving to v0.9.0 (#4894) (@ederc) - Bump AA to v0.45, Nemo to v0.50, Hecke to v0.36 (#4895) (@lgoettgens) - Switch to the new logo (#4896) (@fingolfin) - Incorporate new logo in banner (#4898) (@joschmitt) - IntersectionTheory: Rename `abstract_projective_bundle` -> `projective_bundle` and `abstract_flag_bundle` -> `flag_bundle` (#4899) (@thofma) - Type stabilize some code for `WeylGroup`s (#4900) (@lgoettgens) - Update changelog (#4901) (@github-actions[bot]) - Replace wrong helper function is nmbthy tests (#4902) (@lgoettgens) - Fix irreducibility test for `AbsSimpleNumFieldOrderElem` (#4903) (@thofma) - docs: make some things more explicit in "Documenting Code" section (#4904) (@fingolfin) - Fix `pc_group_with_isomorphism(::FinGenAbGroup)` (#4905) (@fieker) - test/PolyhedralGeometry: make sure to select correct roots / embedding (#4908) (@benlorenz) - Printing of free resolutions (#4909) (@wdecker) - Stabilize FinGenAbGrp tests (#4910) (@lgoettgens) - posets: fixup incidencematrix printing in doctest after merge (#4911) (@benlorenz) - Filter hash changes in nightly doctests (#4912) (@lgoettgens) - remove old parallel methods so we don't have to deprecate later (#4914) (@antonydellavecchia) - Clean up evaluation of `FracFieldElem`s (#4917) (@lgoettgens) - Docu: Small update following PR #4890 (#4918) (@wdecker) - Tensor product cleanup (#4919) (@HechtiDerLachs) - docs: add more doctest helpers (#4920) (@benlorenz) - Allow inducing G-sets along group homomorphisms (#4921) (@lgoettgens) - Fix capitalization in bibtex entry of OSCAR (#4922) (@thofma) - fix `local_schur_indices` (#4923) (@ThomasBreuer) - Remove more singular_assures (#4924) (@jankoboehm) - update version to 1.5.0-DEV (#4926) (@benlorenz) - Don't import non-existent `free_show` (#4927) (@joschmitt) - Downgrade bundled data files (#4929) (@antonydellavecchia) - Cleanup `action_homomorphism` for `WeylGroup`s (#4931) (@jamesnohilly) - Fix long tests (#4932) (@joschmitt) - _quantum_automorphism_group_indices: avoid getproperty hack (#4934) (@fingolfin) - Fix system/Build.jl (#4936) (@fingolfin) - Fix invariant theory booktest (#4940) (@fingolfin) - [release-1.4] Version 1.4.0 (#4942) (@benlorenz) - project: fix GAP_lib_jll uuid (#4943) (@benlorenz) - [release 1.4] backports: fix project toml (#4944) (@benlorenz) **Closed issues:** - Cache `symmetric_group(n)`? (#129) - Dicyclic groups (#1630) - Definition of is_global(ordering) does not match how it is used internally (#1697) - Improve the documentation on linear algebra (#2078) - In OSCAR, polynomial rings should all be constructed with `cached = false` (#2455) - Names for invariants of abelian groups (abelian invariants vs elementary divisors vs invariant factors) (#2968) - Irreducible modules gives wrong results (#3098) - In `*(scalar,Matrix)`, try promoting matrix in case promoting scalar fails (#3186) - Implement `is_primitive` and other block related features for (at least some) $G$-sets (#3256) - Difficulties with radical computation (#3711) - Inefficient conversion from OSCAR to Singular (#3828) - Better coset accessors & documentation (#4283) - Better subgroup transversal accessors & documentation (#4296) - degree(::Graph{Directed}, ::Int) does not count in-neighbors (#4440) - Printing of IncidenceMatrix (#4533) - Integration of multipartition combinatorics to Oscar (#4656) - Document the printing features in the user documentation (#4657) - Make sure everyone on the team knows how to properly use our release note labels (#4668) - Improve Oscar dev docs (#4702) - FLINT 3.2.0 update meta issue (#4732) - `groebner_walk` not working with `algorithm=:perturbed` (#4739) - crash on loading SparseMatrix from polymake (#4744) - `groebner_basis_with_transformation_matrix(; complete_reduction=true)` does not reduce leading coefficient (#4750) - Typeassert error in `orbits(::GSetByElements{PermGroup, Int64})` (#4752) - GAP error on `image(action_homomorphism(block_system))` (#4756) - CI: Unable to automatically install 'GAP_pkg_gapdoc' (#4759) - Evaluation of a polynomial mutates it. (#4762) - Serialization: cannot deserialize files saved before the last major refactoring (#4774) - Constructing tropical linear space from Pluecker vectors: `NaN` error from polymake. (#4790) - Trivial quotients of trivial groups are confusing Oscar (#4793) - Tests broken in master (in upstream packages) (#4799) - Borcherds' method for K3s errors (#4804) - `tensor_product` for `ModuleFP` is broken (#4809) - Building the documentation takes too long (#4824) - `Singular.lift_std` crashes on submodules with zeroes in their generating set over quotient rings (#4833) - Saturation of principal ideals produces wrong results (#4840) - Documentation for coefficient ring for Gröbner bases (#4848) - Strange behaviour of GF constructor (#4852) - Canonical_unit for abelian_closure (#4859) - `divexact` for `MPolyQuoRingElem` is missing (#4861) - Move `src/Misc/MoveToAbstractAlgebra.jl` content to AbstractAlgebra (#4867) - Printing changes for empty `AbstractVector` in nightly (#4872) - Nightly failure with polyhedra over embedded number fields (#4906)

## Oscar v1.3.1 [Diff since v1.3.0](https://github.com/oscar-system/Oscar.jl/compare/v1.3.0...v1.3.1) **Merged pull requests:** - Serialization Refactor (#4162) (@antonydellavecchia) - Optimize Singular conversions (#4613) (@emikelsons) - FTheory Tools attributes (#4620) (@antonydellavecchia) - Add `irreducible_factors` and `inner_direct_product` for Weyl groups (#4641) (@TWiedemann) - Alternative implementations for elimination of variables (#4652) (@HechtiDerLachs) - Optimize some Lie theory code (#4655) (@lgoettgens) - doc: add suggestions on formulations in changelog (#4679) (@thofma) - Add hint for `eliminate` using a proper subring (#4683) (@thofma) - doctests: use [...] to indicate omitted stacktraces in error messages (#4689) (@fingolfin) - SubdivisionOfPoints: reject duplicate points (#4690) (@benlorenz) - Rename is_vertical to passes_transversality_checks and execute related checks. (#4694) (@HereAround) - Fix Chevalley basis; add more functionality (#4695) (@lgoettgens) - Restore Oscar<->Singular conversion for multivariate rational function fields (#4696) (@thofma) - Remove broken tropical Groebner basis shortcut for binomial ideals (#4697) (@YueRen) - Add `rank` and `torsion_free_rank` methods for permutation groups, pc groups, free groups (#4698) (@fingolfin) - Add doctest for semidirect_product (#4700) (@fingolfin) - Include linear solving doc page in the Oscar docs (#4701) (@lgoettgens) - Temporarily disable extra-long test content (#4704) (@HereAround) - [FTheoryTools] Add convenience constructors for flux instances (#4711) (@HereAround) - Ignore md files in / for CI workflows (#4712) (@aaruni96) - Backports for 1.3.1 (#4716) (@aaruni96) - [FTheoryTools] Tiny fix for F11 model (#4717) (@apturner) - Optimize many uses of `unique`; use `allunique` and `allequal` (#4718) (@lgoettgens) - Update changelog (#4720) (@github-actions[bot]) - tests: use local copy of polymake schema for json validation (#4722) (@benlorenz) - Adv/file updates (#4723) (@antonydellavecchia) - Serialization: Move upgrade test logic to a function (#4724) (@lgoettgens) - [FTheoryTools] Remove unused struct for QSMs (#4725) (@HereAround) - Experimental: Add support for reducible types in `isomorphism(PermGroup, ::WeylGroup)` (#4729) (@TWiedemann) - Adjust to upcoming Hecke changes (#4730) (@thofma) - CI: dont process+upload coverage for booktests on julia != 1.10 (#4733) (@benlorenz) - Version 1.3.1 (#4734) (@aaruni96) **Closed issues:** - elimination (#2590) - Add support for parabolic subgroups and irreducible factors of `WeylGroups` (#4483) - Serialization: problem while saving a list of tuples of matrices with varying sizes (#4567) - Release OSCAR 1.3.0 (#4575) - failure on julia nightly (#4648) - Release notes workflow: skip CI for changelog update PRs (#4677) - Visualizing subdivisions of points with repeated points sometimes crashes Julia session (#4684) - Initial ideal computed incorrectly? (#4686) - Error when computing primary decomposition in mpoly ring over rational function field (#4688) - fix saving attributes in large F-theory models (#4691) - all macOS CI getting stuck (#4714)

## Oscar v1.3.0 [Diff since v1.2.2](https://github.com/oscar-system/Oscar.jl/compare/v1.2.2...v1.3.0) **Merged pull requests:** - Mjrodgers ow g modules (#4108) (@fieker) - Support computing strict transform of an ideal in Cox ring (#4154) (@paemurru) - Add Eagon-Northcott complexes (#4327) (@HechtiDerLachs) - Resolve unbound type parameters (#4363) (@fingolfin) - Experimental: Add Clifford algebras and Clifford orders (#4370) (@SirToby25) - LieAlgebras: Adapt Demazure operator (#4384) (@janikapeters) - Allow checking containment of points in hyperplanes and halfspaces via `in` (#4392) (@lkastner) - Graduate Weyl groups and root systems from experimental to officially supported (#4399) (@lgoettgens) - Speed up evaluation of maps of `MPolyRing`s which take variables to variables (#4400) (@HechtiDerLachs) - Blowup along a ray does not change orbifoldness (#4403) (@paemurru) - Update AbstractAlgebra to 0.44.0, Nemo to 0.48.0, Hecke to 0.35.0 (#4405) (@lgoettgens) - Avoid an unnecessary allocation calling permutedims (#4406) (@fingolfin) - Remove some redundant base_ring methods (#4408) (@fingolfin) - Add the library of groups with at most 14 conjugacy classes (#4409) (@ThomasBreuer) - Support `character_field` for a vector of characters (#4411) (@ThomasBreuer) - Caching of radicals (#4413) (@HechtiDerLachs) - Add `WeightLattice` serialization (#4414) (@lgoettgens) - fix two obvious duplicates in the list of groups with 14 classes (#4415) (@ThomasBreuer) - Add `is_atlas_character_table` (#4416) (@ThomasBreuer) - Add conformance tests for `VarietyFunctionField`, add `base_ring_type` method (#4417) (@fingolfin) - Update copyright and book publication year to 2025 (#4418) (@fingolfin) - Specify (and ignore) recursive kwarg in gap_to_julia methods (#4419) (@fingolfin) - Small improvement in new_developers.md (#4420) (@TWiedemann) - Update GAP.jl to 0.13 (#4421) (@lgoettgens) - Print known properties of G4-fluxes (#4422) (@HereAround) - Use Zenodo data as artifact (#4423) (@HereAround) - Fix `is_irreducible` for number field order elements (#4424) (@thofma) - Add dummy `hash(::FractionalIdeal)` (#4428) (@lgoettgens) - Fix `R()` when `R` is a `BoundedRing` (#4429) (@thofma) - Add `hash` methods for SLPolys (#4430) (@lgoettgens) - Rename `new_ray` to `exceptional_ray` (#4433) (@paemurru) - Clarify docs for `==` for normal toric varieties (#4434) (@paemurru) - Polyhedral geometry tests should not use varieties (#4435) (@paemurru) - Support blow up along minimal supercone coordinates (#4437) (@paemurru) - Fix LaTeX inline equations in toric blowups docs (#4438) (@paemurru) - Include AA's conformance tests in all files that use them (#4439) (@lgoettgens) - Fix `degree(::Graph)` documentation (#4441) (@YueRen) - Add support for all vertical, well-quantized G4s that do not break the non-abelian gauge group (#4446) (@HereAround) - Add changelog (#4448) (@aaruni96) - PolyhedralGeometry: added visualize(::Vector) docu (#4449) (@YueRen) - Add `in(::Int, ::Edge)`, `signed_incidence_matrix(::Graph{Undirected})`, `connectivity(::Graph{Undirected})` (#4450) (@YueRen) - Add `tutte_lifting(::Graph)` (#4451) (@YueRen) - Add `graph_curve(::Graph)` (#4452) (@YueRen) - [FTheoryTools] Reduce allocs (#4453) (@HereAround) - Fix blowups along rays and singular cones (#4454) (@paemurru) - Improve documentation of `minimal_supercone_*` (#4455) (@paemurru) - Generalize `monomials_of_degree` to allow graded rings with grading group Z (#4456) (@paemurru) - Docs: added resource flag to bibtool command (#4457) (@YueRen) - Add `weights` method for graded rings and improve some documentation (#4458) (@wdecker) - Make vertex labels in graph visualization start at 1 (#4459) (@YueRen) - BasisLieHighestWeight: Rename some variables in doctests (#4461) (@lgoettgens) - Fix some typos around backticks in docstrings (#4463) (@lgoettgens) - Clean up some code that got obsolete by newer GAP (#4464) (@lgoettgens) - Add `orbit_representatives_and_stabilizers` for 0-dim. subspaces (#4465) (@ThomasBreuer) - Introduce families of G4-fluxes (#4466) (@HereAround) - Use `get!` instead of `haskey` + `setindex!` (#4467) (@fingolfin) - Graduate `present_finite_extension_ring` from experimental to supported (and fix a bug in it) (#4468) (@wdecker) - Add dedicated `stabilizer` methods for matrix groups for improved performance (#4469) (@ThomasBreuer) - Use get! more and improve type stability (#4470) (@fingolfin) - add some missing `hom` and `isomorphism` methods (#4471) (@ThomasBreuer) - Remove some unreachable code `Schemes/` and `MPolyQuo.jl` (#4475) (@lgoettgens) - Simplify attribute handling using new `@attr` features (#4476) (@lgoettgens) - Ordering of simple roots: Documentation (#4477) (@TWiedemann) - Add `isomorphism(PermGroup, ::WeylGroup)` for missing irreducible types (#4478) (@TWiedemann) - Replace implicit `convert` calls by type assertions (#4479) (@lgoettgens) - Add more links to tutorials (#4480) (@HereAround) - `QuadFormAndIsom`: fix Hermitian Miranda--Morrison (again...) + some cleanups (#4481) (@StevellM) - Add `integer_hull` and `gomory_chvatal_closure` (#4482) (@micjoswig) - Improve performance of strict transform under toric blowups (#4484) (@paemurru) - Make `saturation` for principal ideals faster by delegating to `remove` (#4485) (@paemurru) - Internal and documentation improvements (#4486) (@HereAround) - Compute D3-tadpole for family of G4-fluxes (#4487) (@HereAround) - Overhaul preprocessing for `radical`, `primary_decomposition`, and friends over number fields (#4488) (@HechtiDerLachs) - Make ring flattening a tiny bit more type stable (#4489) (@fingolfin) - Make the `@perm` macro more powerful by supporting more argument variants and increased consistency (#4490) (@lgoettgens) - Save updated intersection numbers after costly computation (#4491) (@HereAround) - Add links to commutative algebra tutorials (#4492) (@HereAround) - [FTheoryTools] Fix longtest (#4495) (@HereAround) - cartan_type_with_ordering: Fix ref in doc (#4496) (@TWiedemann) - Allow variables of same positive degree in `monomials_of_degree` (#4497) (@paemurru) - Clarify doc of `init` in `map_word` (#4498) (@TWiedemann) - Add `is_bipartite(::Graph)` (#4499) (@Sequenzer) - Extend support for G4-flux families and individual G4-fluxes (#4500) (@HereAround) - Fix and extend strict_transform (#4503) (@paemurru) - Simplify code for toric blowup along a cone (#4505) (@paemurru) - Fix typo in toric blowup tests (#4506) (@paemurru) - Introduce `is_known` as a way to ask whether a property is precomputed/cached or cheap (#4507) (@HechtiDerLachs) - Change diagonal to barycenter in toric blowup docs (#4508) (@paemurru) - Implement equality for toric varieties (#4509) (@paemurru) - no need anymore to install the GAP package ferret at runtime (#4511) (@ThomasBreuer) - add credit to the DFG to the Oscar manual (#4513) (@ThomasBreuer) - add warning about changing data on print (#4514) (@mjrodgers) - Improve documentation for "Finitely presented groups" (#4515) (@ThomasBreuer) - Add missing type spec to `minimal_polynomial(Vf::QuadSpaceWithIsom)` (#4516) (@fingolfin) - Add `map_word` and `parabolic_subgroup` for Weyl groups (#4519) (@TWiedemann) - booktests: small fix for nightly (#4521) (@benlorenz) - Update docs subsection title (#4522) (@paemurru) - Remove toric blowups along ideals (#4523) (@paemurru) - set `NiceMonomorphism` info on the GAP side (#4525) (@ThomasBreuer) - Rename `blowup` and `blow_up_points` to ` blow_up` and `blow_up_points`, and other intersection theory changes (#4526) (@wdecker) - doc: clarify use of some operators in style guide (#4527) (@thofma) - [FTheoryTools] Absorb convenience functions for toric blowups (#4528) (@HereAround) - Add lattice of one-parameter subgroups (#4529) (@paemurru) - Simplify ToricBlowupMorphism (#4530) (@paemurru) - Add `stabilizer_in_orthogonal_group` to compute stabilisers of timelike vectors (#4534) (@simonbrandhorst) - Remove redundant `_parse_symbol` methods (#4535) (@fingolfin) - Add `weyl_group(::Matrix{<:IntegerUnion})` convenience constructor (#4536) (@lgoettgens) - `.bibtoolsrc`: Canonicalize `month` fields, delete `abstract` fields (#4537) (@lgoettgens) - Run CI both on 1.12 and 1.13 nightly (#4538) (@lgoettgens) - Support for computing automorphism groups of Enriques surfaces (#4540) (@simonbrandhorst) - LieAlgebras: Collect and update rep theory stuff (#4541) (@lgoettgens) - Fix a type in tropical homogenization (#4544) (@joschmitt) - [QuadFormAndIsom]: new fix, cleanup, additional improvements and better documentation (#4546) (@StevellM) - Create dependabot.yml (#4547) (@ranocha) - Update Singular.jl to 0.25.0 (#4548) (@hannes14) - Fix experimental not showing up in search (#4549) (@aaruni96) - Bump codecov/codecov-action from 4 to 5 (#4550) (@dependabot[bot]) - Bump actions/checkout from 3 to 4 (#4551) (@dependabot[bot]) - Update changelog script (#4553) (@aaruni96) - Skip docs preview for dependabot PRs (#4554) (@lgoettgens) - Avoid "base =" in doctests (#4555) (@HereAround) - let `trivial_character` set the irreducibility flag (#4557) (@ThomasBreuer) - Add a database of Enriques surfaces (#4560) (@simonbrandhorst) - Improve documentation for the "Polycyclic groups" section (#4561) (@ThomasBreuer) - Align names of properties and attributes among families of and individual G4-fluxes (#4562) (@HereAround) - Serialization refactor (Lie theory part) (#4563) (@lgoettgens) - Remove toric blowup arithmetic documentation (#4565) (@paemurru) - Internal variables names in toric blowups (#4566) (@paemurru) - SetPartitions: properly import join (#4569) (@benlorenz) - Cleanup some code related to `dim(I) == -inf` checks (#4571) (@fingolfin) - Introduce global gap variable `Oscar_jl` (#4577) (@lgoettgens) - fix typo in matroid doc (#4578) (@simonbrandhorst) - Document how changelog maintenance works (#4579) (@fingolfin) - Cache parents for permutations in `perm`, `cperm` and `@perm` (#4582) (@fingolfin) - Remove duplicate code and bump Hecke (#4583) (@StevellM) - Slack notification for extra long tests (#4584) (@aaruni96) - Improve usability of `abelian_closure(QQ)`, e.g. for elements representing real values allow comparisons and conversion to `Float64` (#4585) (@ThomasBreuer) - Tweak printing of `abelian_closure(QQ)` (#4586) (@fingolfin) - Add missing division ops for QQab (#4587) (@fingolfin) - GModule: Move exports around (#4588) (@lgoettgens) - Implement `syllables`, `letters` and their inverse for `WeylGroup` and `WeylGroupElem` (#4589) (@jamesnohilly) - Make `gap/` a GAP root directory (#4591) (@lgoettgens) - Refactor the `extraperfect` library inclusion (#4592) (@lgoettgens) - Add $G$-set docstrings to main documentation (#4594) (@mjrodgers) - Support computing Gröbner basis for lattice ideals using 4ti2, and improve `eliminate` to avoid recomputing a Gröbner basis (#4596) (@antonydellavecchia) - Update `tune` function and related definitions/functions (#4597) (@apturner) - booktest: merge comment into one line to avoid #4402 (#4599) (@benlorenz) - Polyhedral: fix hash for halfspace and related types (#4600) (@benlorenz) - Fix Krull dimension of polynomial rings over number fields (#4601) (@HechtiDerLachs) - fix a doctest and a statement (#4602) (@ThomasBreuer) - Update `jll_deps`; make `lib4ti2_jll` an explicit dependency (#4605) (@lgoettgens) - Update linear algebra documentation to match with AbstractAlgebra again (#4607) (@HereAround) - Add `is_primitive` for $G$-sets (#4608) (@jamesnohilly) - Fix doctest for QQab (#4611) (@fingolfin) - cleanup 3 instances of dim(spec(R)) to dim(R) (#4612) (@afkafkafk13) - Restructure `isomorphism(::Type, ::WeylGroup)` (#4614) (@lgoettgens) - Speed up computations for EllipticSurface by reduction to positive characteristic. (#4615) (@simonbrandhorst) - Skip stalling CI jobs (#4618) (@lgoettgens) - Move doctests back to github hosted runners (#4619) (@aaruni96) - Add `(dual_)geometric_representation(::WeylGroup)`, `is_finite_order(::WeylGroupElem)` and `order(::WeylGroupElem)` (#4621) (@lgoettgens) - Adapt to conformance test changes in AA (#4622) (@lgoettgens) - Tweak PrincipalOpenSubset to avoid Julia nightly CI hangs (#4623) (@fingolfin) - Remove some uses of gap_to_julia (#4624) (@fingolfin) - Fix some docsting typos (#4627) (@fingolfin) - Move book tests to github runners (#4629) (@aaruni96) - Use imperative form in (first sentence of) docstrings (#4630) (@fingolfin) - Move a function to MoveToAbstractAlgebra.jl (#4631) (@fingolfin) - Tweak some show methods to use ItemQuantity, Lowercase (#4632) (@fingolfin) - Fix `vertices(G)` to return all vertices, including isolated ones (#4633) (@benlorenz) - Remove more calls to gap_to_julia (#4634) (@lgoettgens) - Remove functions defined in Hecke (#4635) (@lgoettgens) - Add attribute for more detailed info on tunable sections (#4636) (@emikelsons) - Add cross-references to `demazure_character` docstrings (#4637) (@lgoettgens) - Add more missing hash functions (#4638) (@lgoettgens) - Remove `NoExperimentalCI/docs` job (#4639) (@lgoettgens) - fix a `NiceMonomorphism` for GAP constructed in Oscar (#4640) (@ThomasBreuer) - Version 1.4.0-dev (#4642) (@aaruni96) - Update Nemo to 0.49 (#4645) (@lgoettgens) - Remove last uses of `gap_to_julia` (#4646) (@lgoettgens) - Fix bug in G4-flux computation of big model (#4647) (@HereAround) - Serialization Refactor (Lie Theory again) (#4649) (@lgoettgens) - Add DOI of the book (#4654) (@lgoettgens) - Backports for 1.3.0 (#4658) (@aaruni96) - Implement `transitivity` and `rank_action` for $G$-sets (#4659) (@mjrodgers) - Update changelog (#4667) (@github-actions[bot]) - improve documentation, mainly for f.p. groups (#4675) (@ThomasBreuer) - Fix `bracket` for `LieSubalgebra`s (it sometimes returned the wrong result) (#4676) (@lgoettgens) - Add OSCAR acronym to docs (#4678) (@mjrodgers) - fix: formatting in LieSubalgebra-test.jl (#4680) (@thofma) - Version 1.3.0 (#4681) (@aaruni96) **Closed issues:** - Documentation for updating the cornerstones (#159) - groups: change creation functions to return pairs `(group, generators)` ?? At least for free groups??? (#660) - The use of base_ring (#938) - Homomorphisms for Polynomial rings over generic coefficient rings can not be defined (#1003) - Rename FPGroups resp. clarify documentation (#1139) - GAP.Globals.PseudoRandom aka pseudo_rand hanging for free groups (#1165) - Limit the number of global objects (#1379) - Decide how to document functions like `is_trivial`, `is_irreducible` with many different methods in a consistent way... docstrings vs. manual vs. REPL etc. (#1471) - `order(G)` for matrix group should set the order in GAP, set `is_finite` etc. (#1779) - problems with groups of type `FPGroup` (#1836) - Reduced elements in quotient rings? (#1910) - Mention rules for types names in dev docs (#1981) - GCD slower than hoped in ZZ[x] (#2242) - `clifford_algebra` (#2312) - Move `dim` implementation from schemes to algebras (#2771) - Adjust printing of modules and related stuff to follow OSCAR printing guidelines (#2891) - Add shims for more GAP packages to work better within Oscar.jl (#2893) - Bug / missing feature in `@perm` macro (#3010) - CI failures in nightly ubuntu: segfault during loading/precompilation (#3296) - Missing docstrings for a lot of G-set functionality (#3314) - Improve documentation for finitely presented groups (#3471) - CI crashes in Julia 1.11-rc1 (#3904) - Error `#E component 'PDFFile' must be bound to a string denoting a relative path to a readable file` in macOS CI (#3967) - Usability wishes for QQab (#3976) - `InitError: cannot load the GAP package recog` on CI (#4032) - Overhaul RPTU macOS CI runner setup to be more resilient (#4090) - Hashing is wrongly implemented for various ideals (#4143) - Matrix groups over ZZ (and possibly other rings) weirdness (#4160) - move Weyl groups into OSCAR core (#4263) - Smith normal form over residue ring (#4293) - Months in `oscar_references.bib` are inconsistent (#4320) - Additional setup instructions for Windows/WSL (#4329) - Clean up `demazure_character` (?) (#4373) - Add a linear algebra tutorial (#4391) - CI: Errors one some RPTU runners (#4404) - residue_ring of a residue_ring is very slow (#4410) - Docs should reference tutorials (#4425) - Problems with `vertices(::Graph)` defined in AlgebraicStatistics (#4426) - Comparison of identity matrices over different rings (#4427) - More thorough documentation and features for random (multivariate) polynomials (#4436) - Soliciting design advice/opinions: speed-and-memory-hungry vs. slow-but-sure (#4442) - Local doctests fail on OrthogonalDiscriminants (#4443) - Missing `hom` and `isomorphism` methods between `FinGenAbgroup` and `GAPGroup` (#4460) - `weyl_group` constructor for Cartan matrix over `Int` (#4473) - blow_up vs blowup (#4512) - Conversion of Oscar numbers to Float (#4531) - Can we have `is_zero!`? (#4539) - Experimental docstrings not showing up in documentation search (#4542) - Error for `initial` of ideal in graded polynomial ring (#4543) - `in` for matrix groups has hiccups (#4568) - `is_zero` for quotient rings not correct (#4574) - GModule errors on nightly (#4576) - Segfault when powering non-square zzModMatrix (#4590) - Add origin of OSCAR's name to https://docs.oscar-system.org/dev/ (#4603) - CI timeouts with julia 1.12-nightly and nightly (#4604) - Replace remaining uses of `gap_to_julia` (#4625)

## Oscar v1.2.2 [Diff since v1.2.1](https://github.com/oscar-system/Oscar.jl/compare/v1.2.1...v1.2.2) **Merged pull requests:** - Use RPTU local runners instead of github hosted linux runners (#3986) (@aaruni96) - Add `letters` function for PcGroupElem (#4202) (@jamesnohilly) - Cartan eilenberg resolutions (#4248) (@HechtiDerLachs) - Adv/algebraic shifting (#4260) (@antonydellavecchia) - [FTheoryTools] Compute all well-quantized and vertical G4-fluxes (#4286) (@HereAround) - Improve test coverage for CartanMatrix.jl (#4295) (@felix-roehrich) - Root system documentation (#4297) (@lgoettgens) - Speed up orbits of permutation groups on integers (#4307) (@mjrodgers) - Fix zero-dimensional cone in `cones` in PolyhedralGeometry (#4336) (@paemurru) - improve `orbit_representatives_and_stabilizers` (#4337) (@ThomasBreuer) - Include existing elliptic curves docu (#4338) (@aaruni96) - LieAlgebras: Add Demazure character (#4339) (@janikapeters) - feat: add iso_oscar_singular_[coeff/poly]_ring (#4342) (@thofma) - [FTheoryTools] Added additional zero section functionality (#4343) (@emikelsons) - LieAlgebras: Introduce `WeightLattice` (#4344) (@lgoettgens) - Durham preliminary cleanup (#4345) (@HechtiDerLachs) - Fix up generic `characteristic` method for localized rings. (#4346) (@HechtiDerLachs) - Remove unneeded parent call method for `FPGroup` (#4347) (@lgoettgens) - feat: prepare for fixes for polynomial rings over zero rings (#4350) (@thofma) - test/PolyhedralGeometry: remove some prefer blocks (#4351) (@benlorenz) - Some more documentation for coherent sheaves (#4352) (@HechtiDerLachs) - [ToricVarieties] Tests for blowup do not depend on order of rays anymore (#4353) (@HereAround) - Add hash method for `RayVector` (#4354) (@alexej-jordan) - Add comment about bibtool version, minor fix in testsuite (#4356) (@lkastner) - better `isomorphism` methods to `FinGenAbGroup`s (#4357) (@ThomasBreuer) - Add `cycle_length` for `PermGroupElem` (#4359) (@fingolfin) - Optimize cperm (#4361) (@fingolfin) - Remove Base.getproperty methods for MatrixGroup(Elem) and SesquilinearForm (#4362) (@fingolfin) - Remove duplicate GAP wrapper (#4364) (@fingolfin) - Sort GAP.@wrap invocations (#4365) (@fingolfin) - Add dummy hash for `AbsIdealSheaf` (#4366) (@lgoettgens) - Fix toric typo (#4367) (@paemurru) - Fix indent in AlgebraicCycles.md (#4368) (@paemurru) - Add some more hash functions (#4369) (@lgoettgens) - Fix a few typos (#4372) (@fingolfin) - LieAlgebras: Change WeylGroup action to a right action (#4374) (@lgoettgens) - LieAlgebras: Change normal form for WeylGroupElem; cleanup after #4374 (#4375) (@lgoettgens) - Name examples section in docstrings consistently (#4376) (@fingolfin) - fix `isomorphism(FPGroup, G, on_gens = true)` (#4378) (@ThomasBreuer) - Fix comparison function in module orderings (#4379) (@ederc) - changed tests for Singular.jl 0.24.0 (#4382) (@hannes14) - Fix printing for trivial grading (#4383) (@paemurru) - Set torusfactor attribute (#4385) (@paemurru) - Remove various `FOO_type` methods (#4386) (@fingolfin) - Fix a bib entry (#4389) (@lgoettgens) - LieAlgebras: Add section with Dynkin diagrams to docs (#4390) (@lgoettgens) - Introduce `-inf` as potential output for the dimension of an ideal (#4393) (@HechtiDerLachs) - Intersection theory: next round (#4395) (@wdecker) - fix galois_group problem. (#4396) (@fieker) - backports 1.2.2 (#4397) (@benlorenz) - fix: check argument for map of polynomial rings (#4398) (@thofma) - add `isomorphic_subgroups` (#4401) (@ThomasBreuer) **Closed issues:** - Oscar Singular coercion ambiguities (#976) - StackOverflowError when computing roots over Puiseux series field (#4034) - GAP package `sglppow` causes stuck subprocess and `fgets() failed with errno 5` (#4136) - Documentation for elliptic curves missing. (#4187) - Release Oscar 1.2.1 (#4291) - Gröbner basis for modules (#4303) - Optimize `isomorphism(PcGroup, A)` for infinite abelian `A` (#4323) - either characteristic or equality test in localizations of quotients is lying (#4324) - Missing `eigenvalues` for matrices over integers (#4330) - `libsingular_julia.so: undefined symbol` in CI (#4341) - Tests in `ToricVarieties/toric_blowups.jl` depend on order of `rays(normal_fan(simplex(2)))` (#4348) - `presentation` does not accept zero generators in the graded case (#4349) - Comparing ideal sheaves (#4355) - `isomorphism(FPGroup, G; on_gens=true)` incorrect when `G` is trivial (#4377)

## Oscar v1.2.0 [Diff since v1.1.2](https://github.com/oscar-system/Oscar.jl/compare/v1.1.2...v1.2.0) **Merged pull requests:** - Improve stability of tests in PolyhedralGeometry (#4197) (@alexej-jordan) - Module quotients II (#4225) (@wdecker) - Extend `is_invertible_with_inverse` to rings of type `MPolyQuoRing{<:MPolyDecRingElem}` (#4226) (@wdecker) - Some fixes and performance improvements for `iso_oscar_gap(::LieAlgebra)` (#4227) (@lgoettgens) - Improve performance of `bracket` for `AbstractLieAlgebraElem` (#4228) (@lgoettgens) - Add parent checks to PBW algebra arithmetics (#4231) (@fingolfin) - show methods: lower case halfspaces and hyperplanes (#4232) (@fingolfin) - Tjurina module (#4234) (@Syz-MS) - Add dedicated printing for empty combinatorial objects (#4236) (@lgoettgens) - Ideal saturation: Resolving old question found in code (#4238) (@wdecker) - [ToricVarieties] Assert coordinate names from cox ring (#4240) (@HereAround) - Add `characteristic` for multivariate quotient rings over fields (#4241) (@joschmitt) - Introduce snake case function `incidence_matrix` (#4245) (@alexej-jordan) - Adds algorithm option :modular for Gröbner basis computations (#4246) (@ederc) - Saturation for modules (#4249) (@wdecker) - Splits groebner.jl into parts (#4250) (@ederc) - Yet another attempt to revise printing for modules (#4251) (@fingolfin) - README.md: remove month in OSCAR book bib (#4252) (@fingolfin) - PolyhedralGeometry: minor fixes (#4253) (@benlorenz) - Fix show method for `FreeMod_dec` (#4254) (@fingolfin) - Version 1.2.0 (#4255) (@fingolfin) **Closed issues:** - bibtool and bibliography (#750) - Book test issues (#3809) - Combinatorics: compositions, partitions, Young tableaux, Schur polynomials (#3850) - Missing snake case aliases for `IncidenceMatrix` (#4033) - `galthy.jl` / `van_hoeij`: must never be zero (#4170) - some `==` issues for group elements and related objects (#4191) - Make a new OSCAR release? (#4211) - Nice printing for empty partition (#4229) - JLD2 Interoperability (#4242)