v1.8.0

Oscar v1.8.0

The following gives an overview of the changes compared to the previous releases. 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.

1.8.0 - 2026-07-14

Algebraic Geometry

New features or extended functionality

• #5629 DrawingCurves: New experimental project for drawing real plane curves
• #5762 FreeAssociativeAlgebraIdeal: add algorithm option for ideal_membership
• #5762 quantum_symmetric_group: fix rare Groebner basis errors

Miscellaneous changes

• #6031 Add non-commutative normal_form from f4ncgb

Combinatorics

New features or extended functionality

• #5809 Add tutte_group and is_tutte_realizable
• #5823 Add bergman_fan function for matroids
• #6058 Add on_graph for acting on a graph with a PermGroupElem

Only changes experimental parts of OSCAR

• #6117 Speed up realization space computation
• #6029 Fix a rare type issue in matroid realization space computation
• #6029 Allow non-simple matroids in matroid realization space computation
• #6029 Fix an issue where the dimension of the realization space might be too large for matroids of rank at least 4

Performance improvements or improved testing

• #6033 Speedup for tutte_group

Fixed bugs that returned incorrect results

• #5894 Fix tutte_group

Miscellaneous changes

• #5430 Graph & GraphMap: add equality and hash
• #5770 Isomorphism functionality for edge labeled Graphs
• #5833 Add is_transversal(::Matroid) and is_transversal_with_presentation(::Matroid)

Commutative Algebra

New features or extended functionality

• #5729 Allow general subquotient modules as input to vector_space_dimension and friends.
• #5781 Add linear solving for matrices over multivariate polynomial and laurent rings
• #5848 Cohomology rings of complexes with a DG-algebra structure
• #5915 Speed up vector_space_basis for SubquoModule
• #5769 Add full support for vector_space_dim and friends for ungraded SubquoModule over a MPolyQuoLocRing localized at a point
• #5769 Refactor the existing code for ungraded modules over a MPolyLocRing localized at a point to the new code structure and extend the functionality to modules with true sub-part
• #5769 Improve performance for vector_space[_dim/basis] by using M.quo and its cached groebner_basis instead of creating the submodule of relations and computing its groebner_basis and then discarding it multiple times.

Performance improvements or improved testing

• #5913 Support sparse matrices for transformations in Groebner basis computations
• #5971 Add a modular algorithm for determinant of matrix over univariate polynomial rings over the integers

Miscellaneous changes

• #6019 Add special type for finite morphisms of ZZ-graded polynomial algebras and restriction of scalars along such maps
• #6026 Add function prune for modules

Groups

New features or extended functionality

• #5831 Add maximal_supersolvable_quotient
• #5898 Add character_table_rational
• #5932 Allow matrix_group(::Ring, ::Vector)
• #5986 Optimize stabilizer(G, v, permuted)
• #6068 Add regular_action_homomorphism function for a finite group

Lie Theory

New features or extended functionality

• #6014 Add kostant_kumar_character
• #6098 Add dual for roots and coroots

Number Theory

New features or extended functionality

• #5808 Invariant function based on graph hash for ZZLattices
• #5941 Extend the use of databases of ZZLatin QuadFormAndIsom

Performance improvements or improved testing

• #5804 Fix a bug for odd lattices in automorphism group and isometry computations of quadratic lattices and tune the heuristics

Polyhedral Geometry

New features or extended functionality

• #5748 Add contains and contains_in_interior for polyhedra and cones
• #5803 Add common_refinement also for polyhedral fans
• #6030 Migrating slack ideals from polymake to Oscar
• #6087 Add n_rays_modulo_lineality
• #6089 Add n_minimal_faces

Tropical Geometry

New features or extended functionality

• #6056 Add is_feasible(::TropicalPolyhedron)
• #6090 Add visualize(::TropicalPolyhedron)

Fixed bugs that resulted in unexpected errors

• #6097 covector_decomposition: fix properties of output object

Changes related to the package AbstractAlgebra

• #5982 Update AbstractAlgebra to v0.49
• #6051 Update AbstractAlgebra to v0.50

Changes related to the package GAP

• #6054 Update GAP.jl to 0.17, i.e. GAP to 4.16.0

Changes related to the package Nemo

• #5982 Update Nemo to v0.55
• #6051 Update Nemo to v0.56

Other changes

Changes related to serializing data in the MRDI file format

• #5754 Optional pretty print arguments for save
• #5812 Serialize Bools as immediate Bools (instead of strings)
• #5822 Allow loading files with a default type
• #5839 Fixes for phylogenetic model serialization
• #6034 Add new MultiFileRefSerializer for serialization of references into separate files

New features or extended functionality

• #5597 BasisLieHighestWeight: Add kwarg compute_polytope to compute the polytope of essential exponents as a side-product
• #5880 Ring Conformance for Clifford algebras and Clifford orders + Documentation

Only changes experimental parts of OSCAR

• #5758 Add conversion methods between OSCAR and HomotopyContinuation as a julia extension
• #5908 Fix full_parametrization and improve PhylogeneticNetworks

Full diff since v1.7.3