v1.6.0

1.6.0 - 2025-11-29

The following gives an overview of the changes compared to the previous release. This list is not
complete, many more internal or minor changes were made, but we tried to only list those changes
which we think might affect some users directly.

Algebraic Geometry

New features or extended functionality

• #5265 Add f4ncgb algorithm for non-commutative groebner basis computation
• #5403 Add factoring_standard_basis command which uses facstd from Singular.jl
• #5585 Precomputed Gröbner basis for quantum symmetric groups

Fixed bugs that returned incorrect results

• #5492 Fix computing saturation of modules over quotient rings

Combinatorics

New features or extended functionality

• #5235 Construct PhylogeneticTree from graph
• #5477 Add multicombinations to Oscar
• #5530 Support optional "inplace" iteration for combinations and multicombinations

Improvements or additions to documentation

• #5431 Improve combinatorics documentation
• #5446 Further improvements to documentation for combinations

Miscellaneous changes

• #5228 Major changes and updates to AlgebraicStatistics
• #5485 Fix spelling of is_acyclic for directed graphs. Deprecate is_acylic.

F-Theory Tools

Performance improvements or improved testing

• #5295 Reduce yet more randomness in FTheoryTools

Groups

New features or extended functionality

• #4826 Improve the handling of matrix groups over number fields
• #5250 Add fixed_points for PermGroup and PermGroupElem
• #5267 Add order_bound keyword argument to subgroup_classes
• #5270 Add an iterator of subspaces of finite vector spaces
• #5288 Add p_rump for GAPGroup and extend torsion_subgroup for GAPGroup and WeylGroup
• #5453 Add character_degrees for a given group or character table, or for given invariants of a finite abelian group and finite field
• #5456 Add encode and pc_group for encoding finite pc groups into integers and back
• #5532 Add a constructive membership test for double cosets

Fixed bugs that resulted in unexpected errors

• #5594 Fix raising matrix group elements to negative powers

Lie Theory

Only changes experimental parts of OSCAR

• #5290 Add basis_coordinate_ring_kodaira_demazure

Number Theory

New features or extended functionality

• #5251 Allow discriminant_annihilator as input for enumerate_classes_of_lattices_with_isometry
• #5339 Methods for group actions on ZZLat
• #5457 Allow to specify several characteristic polynomials in lattice with isometry enumeration

Performance improvements or improved testing

• #5545 Implement the decomposition approach for orthogonal group computation and isometry testing of integer lattices. This results in a vast speedup for lattices which are not generated by their shortest vectors.

Polyhedral Geometry

New features or extended functionality

• #4444 Add transformations for polyhedral fans and complexes
• #4709 Introduce various variants of halfspace_matrix_pair(ZZ, ...) for polyhedral objects to access facets etc as matrices
• #5372 Add castelnuovo_excess and is_castelnuovo for lattice polytopes
• #5384 Enhance documentation and add further functions inherited from polymake

Toric Geometry

New features or extended functionality

• #5032 Improve vector of minimal exponents method for cohomology computations
• #5512 Deprecate all_cohomologies in favor of sheaf_cohomology
• #5512 Support line bundle cohomology computation via local cohomology, including functorial aspects

Tropical Geometry

New features or extended functionality

• #4001 Tropical polyhedra: Types and basic properties

Changes related to the package GAP

• #5374 Update GAP.jl to 0.16, i.e. GAP to 4.15.1

Changes related to the package Hecke

• #5533 Update Hecke to 0.39

Changes related to the package Singular

• #5489 Update Singular.jl to 0.27
• #5578 Update Singular.jl to 0.28

Other changes

Changes related to serializing data in the MRDI file format

• #5137 Add OscarDB to experimental

Only changes experimental parts of OSCAR

• #4798 Implement multigraded implicitization
• #5329 Add documentation for action polynomial rings

Full diff since v1.5.1