[dependabot]

Updates the requirements on Nemo and AbstractAlgebra to permit the latest version.
Updates Nemo to 0.57.0

Release notes

Sourced from Nemo's releases.

v0.57.0

Nemo v0.57.0

Breaking changes

!These changes break compatibility from previous versions!

New or extended functionality

• #2367 Add conversions from QQFieldElem to ZZRingElem and Integer types

Miscellaneous changes

• #2234 Add fqPolyRepField coercions from nmod polynomials (imported from Hecke), add or fix a bunch of set! methods
• #2364 Require AbstractVector scales in rand for LocalizedEuclideanRing, and AbstractUnitRange{Int} ranges in rand for Laurent and Puiseux series rings
• #2369 Revert to FFLU for solve contexts over QQ
• #2376 Change rand(K::AbsSimpleNumField, r) to return integer coefficients in r (not fractions); add rand(K, r, d) with a denominator range d
• #2378 Update AbstractAlgebra to v0.51 Full diff since v0.56.2

Changelog

Sourced from Nemo's changelog.

0.57.0 - 2026-10-07

Breaking changes

!These changes break compatibility from previous versions!

New or extended functionality

• #2367 Add conversions from QQFieldElem to ZZRingElem and Integer types

Miscellaneous changes

• #2234 Add fqPolyRepField coercions from nmod polynomials (imported from Hecke), add or fix a bunch of set! methods
• #2364 Require AbstractVector scales in rand for LocalizedEuclideanRing, and AbstractUnitRange{Int} ranges in rand for Laurent and Puiseux series rings
• #2369 Revert to FFLU for solve contexts over QQ
• #2376 Change rand(K::AbsSimpleNumField, r) to return integer coefficients in r (not fractions); add rand(K, r, d) with a denominator range d
• #2378 Update AbstractAlgebra to v0.51

0.56.2 - 2026-09-30

New or extended functionality

• #2321 Unify non-square matrix error messages
• #2329 New function digits_to_integer! (inverse to digits)

Fixed bugs that returned incorrect results

• #2340 Fix three-arg +, -, *, // for real and complex fields

0.56.1 - 2026-06-31

New or extended functionality

• #2334 Update FLINT to v3.6.0

Performance improvements or improved testing

• #2315 Add in-place mul! specializations for modular matrices
• #2316 Add sub! for ZZModMatrix / FpMatrix

Fixed bugs that returned incorrect results

• #2325 Fix a subtle bug in digits! for negative inputs

0.56.0 - 2026-06-09

New or extended functionality

• #2152 Add new function is_probably_zero_det (for ZZMatrix, QQMatrix)
• #2212 New determinant function det_hcol_hnf for ZZMatrix

... (truncated)

Commits

• See full diff in compare view

Updates AbstractAlgebra to 0.51.0

Release notes

Sourced from AbstractAlgebra's releases.

v0.51.0

AbstractAlgebra v0.51.0

Breaking changes

!These changes break compatibility from previous versions!

New or extended functionality

• #2538 Add methods to construct multivariate terms

Miscellaneous changes

• #1853 Change == to error by default (instead of returning false) when comparing elements for which no equality test has been implemented
• #2283 Remove similar and zero methods for MatRingElem which took a row and column count as argument, despite matrix ring elements being square
• #2443 Change map_from_func to return a MapFromFunc (migrated from Hecke.jl) instead of a Generic.FunctionalMap. This results in a changed argument order.
• #2478 Remove change_base_ring for universal rings
• #2499 Change matrix_repr for Perm and YoungTableau to return a dense matrix by default (can be overridden with new first argument); make SparseArrays a weak dependency
• #2524 Remove unused IdealElem type

Other fixed bugs

• #2569 Fix eltype of coefficient/term/monomial iterators for FreeAssociativeAlgebras

Full diff since v0.50.3

Changelog

Sourced from AbstractAlgebra's changelog.

0.51.0 - 2026-10-06

Breaking changes

!These changes break compatibility from previous versions!

New or extended functionality

• #2538 Add methods to construct multivariate terms

Miscellaneous changes

• #1853 Change == to error by default (instead of returning false) when comparing elements for which no equality test has been implemented
• #2283 Remove similar and zero methods for MatRingElem which took a row and column count as argument, despite matrix ring elements being square
• #2443 Change map_from_func to return a MapFromFunc (migrated from Hecke.jl) instead of a Generic.FunctionalMap. This results in a changed argument order.
• #2478 Remove change_base_ring for universal rings
• #2499 Change matrix_repr for Perm and YoungTableau to return a dense matrix by default (can be overridden with new first argument); make SparseArrays a weak dependency
• #2524 Remove unused IdealElem type

Other fixed bugs

• #2569 Fix eltype of coefficient/term/monomial iterators for FreeAssociativeAlgebras

0.50.4 - 2026-10-13

Other fixed bugs

• #2589 Some internal changes for compatibility with Julia 1.13.2

0.50.3 - 2026-09-29

New or extended functionality

• #1947 Add conformance tests for is_unit and is_nilpotent
• #2483 More symbol based evaluate methods
• #2493 Add iterator for all free modules over finite rings
• #2533 More mutable arithmetic for FreeAssociativeAlgebraElem
• #2555 Add is_constant and constant_coefficient for Laurent and Puiseux polynomials

Fixed bugs that returned incorrect results

• #2532 Fix neg!/mul! of FreeAssociativeAlgebraElem mutating shared coefficients
• #2542 Fix rank_interpolation degree bound for zero rows
• #2544 Fix potentially wrong results in rank_interpolation_mc

Fixed bugs that resulted in unexpected errors

• #2521 Fix evaluate of factored fractions over non-fields
• #2530 Fix rank/dim/vector_space_dim to work for more FPModules over fields

... (truncated)

Commits

• See full diff in compare view