Arblib dependencies incompatible with Oscar.jl

[oskarhenriksson]

When trying to install the latest version of HomtopyContiniation.jl and Oscar, I get a dependency issue with Arblib. It seems like HomotopyContiniation.jl requires an older version of the package, whereas Oscar requires a newer version.

Is there a good way to get around this?

Unsatisfiable requirements detected for package Arblib [fb37089c]:
 Arblib [fb37089c] log:
 ├─possible versions are: 0.1.0-1.2.1 or uninstalled
 ├─restricted by compatibility requirements with FLINT_jll [e134572f] to versions: [0.1.0-0.2.1, 1.2.0-1.2.1] or uninstalled
 │ └─FLINT_jll [e134572f] log:
 │   ├─possible versions are: 0.0.1-300.100.300 or uninstalled
 │   ├─restricted by julia compatibility requirements to versions: [0.0.1-200.800.101, 200.800.301, 200.800.401-300.100.300] or uninstalled
 │   ├─restricted by compatibility requirements with Nemo [2edaba10] to versions: 300.100.100-300.100.300
 │   │ └─Nemo [2edaba10] log:
 │   │   ├─possible versions are: 0.9.0-0.46.0 or uninstalled
 │   │   └─restricted to versions 0.46 by Oscar [f1435218], leaving only versions: 0.46.0
 │   │     └─Oscar [f1435218] log:
 │   │       ├─possible versions are: 1.2.0 or uninstalled
 │   │       └─Oscar [f1435218] is fixed to version 1.2.0-DEV
 │   └─restricted by compatibility requirements with Singular_jll [43d676ae] to versions: 300.100.300
 │     └─Singular_jll [43d676ae] log:
 │       ├─possible versions are: 4.1.3-404.0.301 or uninstalled
 │       └─restricted by compatibility requirements with Singular [bcd08a7b] to versions: 404.0.100-404.0.301
 │         └─Singular [bcd08a7b] log:
 │           ├─possible versions are: 0.1.0-0.23.4 or uninstalled
 │           └─restricted to versions 0.23.4-0.23 by Oscar [f1435218], leaving only versions: 0.23.4
 │             └─Oscar [f1435218] log: see above
 └─restricted by compatibility requirements with HomotopyContinuation [f213a82b] to versions: 0.2.2-0.8.1 — no versions left
   └─HomotopyContinuation [f213a82b] log:
     ├─possible versions are: 0.3.0-2.9.5 or uninstalled
     ├─restricted to versions * by an explicit requirement, leaving only versions: 0.3.0-2.9.5
     ├─restricted by compatibility requirements with StaticArrays [90137ffa] to versions: [0.3.0-0.3.3, 2.0.0-2.9.5] or uninstalled, leaving only versions: [0.3.0-0.3.3, 2.0.0-2.9.5]
     │ └─StaticArrays [90137ffa] log:
     │   ├─possible versions are: 0.8.0-1.9.7 or uninstalled
     │   └─restricted by compatibility requirements with AlgebraicSolving [66b61cbe] to versions: 1.0.0-1.9.7
     │     └─AlgebraicSolving [66b61cbe] log:
     │       ├─possible versions are: 0.2.0-0.6.1 or uninstalled
     │       └─restricted to versions 0.5.1-0.5 by Oscar [f1435218], leaving only versions: 0.5.1
     │         └─Oscar [f1435218] log: see above
     ├─restricted by compatibility requirements with StaticPolynomials [62e018b1] to versions: 0.4.0-2.9.5 or uninstalled, leaving only versions: 2.0.0-2.9.5
     │ └─StaticPolynomials [62e018b1] log:
     │   ├─possible versions are: 0.2.2-1.3.7 or uninstalled
     │   └─restricted by compatibility requirements with StaticArrays [90137ffa] to versions: 1.3.4-1.3.7 or uninstalled
     │     └─StaticArrays [90137ffa] log: see above
     └─restricted by compatibility requirements with LoopVectorization [bdcacae8] to versions: [0.3.0-1.4.4, 2.5.1-2.9.5] or uninstalled, leaving only versions: 2.5.1-2.9.5
       └─LoopVectorization [bdcacae8] log:
         ├─possible versions are: 0.1.0-0.12.171 or uninstalled
         ├─restricted by julia compatibility requirements to versions: 0.9.0-0.12.171 or uninstalled
         ├─restricted by compatibility requirements with VectorizationBase [3d5dd08c] to versions: 0.12.19-0.12.171 or uninstalled
         │ └─VectorizationBase [3d5dd08c] log:
         │   ├─possible versions are: 0.1.0-0.21.70 or uninstalled
         │   └─restricted by julia compatibility requirements to versions: 0.20.8-0.21.70 or uninstalled
         └─restricted by compatibility requirements with HomotopyContinuation [f213a82b] to versions: 0.6.0-0.12.171, leaving only versions: 0.12.19-0.12.171
           └─HomotopyContinuation [f213a82b] log: see above

[PBrdng]

@saschatimme you closed an reopened #558 (see also #567 ). Is there a reason this was never updated?

[saschatimme]

Just got never to it since some code changes are needed. The closing and reopening was just to trigger a CI run

[PBrdng]

@oskarhenriksson we will have to bump the compatibility of HC.jl with Arblib 1.2 (since this is what Flint requires). #558 reported some errors when using a newer version of Arblib, so we will have to locate the errors and fix them. I have no time to do this next week, if you feel confident enough, you can go ahead. Otherwise, I will look at it later this month.

[oskarhenriksson]

@PBrdng Is there a way to see what errors were identified in #558?

[PBrdng]

You should be able to see the errors when you click on the failed tests.

[oskarhenriksson]

It seems like the logs have expired! See e.g. https://github.com/JuliaHomotopyContinuation/HomotopyContinuation.jl/actions/runs/6796791381/job/18477602504

[PBrdng]

I see. I can't seem to restart them. But you can run tests on your local machine.

[isaacsas]

This is also seemingly causing us issues in Catalyst, where we are also seeing package resolution errors in CI that will prevent us from using the latest Symbolics versions and which I think are due to Arblib being held back by HomotopyContinuation:

https://github.com/SciML/Catalyst.jl/actions/runs/10549534673/job/29224675728?pr=961

[PBrdng]

See #589

[isaacsas]

Thanks!

[PBrdng]

I solved the compatibility issue and just registered a new release (2.11.0).

[isaacsas]

Awesome, thanks for handling this so quickly now!

[oskarhenriksson]

Thanks a lot for fixing this! ^_^