Skip to content

Allow Nemo 0.56 and AbstractAlgebra 0.50#224

Open
ChrisRackauckas-Claude wants to merge 1 commit into
sumiya11:masterfrom
ChrisRackauckas-Claude:chore/nemo-0.56-aa-0.50
Open

Allow Nemo 0.56 and AbstractAlgebra 0.50#224
ChrisRackauckas-Claude wants to merge 1 commit into
sumiya11:masterfrom
ChrisRackauckas-Claude:chore/nemo-0.56-aa-0.50

Conversation

@ChrisRackauckas-Claude

Copy link
Copy Markdown

Widens the compat bounds to allow Nemo 0.56 and AbstractAlgebra 0.50.

These two bumps have to go together: Nemo 0.56 requires AbstractAlgebra 0.50, so bumping Nemo alone (as the existing CompatHelper PRs #221/#222 do) cannot resolve without also raising the AbstractAlgebra bound (#220). This PR combines both:

-AbstractAlgebra = "0.41, ..., 0.49"
+AbstractAlgebra = "0.41, ..., 0.49, 0.50"
-Nemo = "0.45.4, ..., 0.55"
+Nemo = "0.45.4, ..., 0.55, 0.56"

Testing

Resolved and ran the full test suite locally on Julia 1.10 against the new versions (Nemo v0.56.0, AbstractAlgebra v0.50.1). All tests pass, including the Nemo input-output suites and the FLINT-based rational reconstruction paths:

  Nemo.jl, univariate                    |     25      25      7.6s
  Nemo.jl, generic                       |      6       6     45.5s
  Nemo.jl, input-output                  |    418     418     25.6s
  ...
     Testing Groebner tests passed

Motivation: this unblocks downstream packages (e.g. Symbolics.jl) from adopting Nemo 0.56 — currently Groebner's Nemo ≤ 0.54 (registry) / ≤ 0.55 (master) bound is the gating constraint.

This supersedes the individual CompatHelper PRs #220, #221, and #222 by combining the interdependent bumps into one resolvable change.

Nemo 0.56 requires AbstractAlgebra 0.50, so both compat bounds must be
widened together for the new Nemo to resolve. Tested locally against
Nemo 0.56.0 + AbstractAlgebra 0.50.1: full test suite passes.

Co-Authored-By: Chris Rackauckas <accounts@chrisrackauckas.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants