search

oscar-system / Oscar.jl

A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
https://www.oscar-system.org
Other
307 stars 112 forks source link

Updates AlgebraicSolving to v0.5.0 #3897

Closed ederc closed 22 hours ago

ederc commented 2 days ago

Should fix #3888.

New features from AlgebraicSolving and msolve will be made available in Oscar soon.

lgoettgens commented 23 hours ago

The book tests somehow keep failing, but without an error log. @benlorenz do you have any idea why this is? E.g. https://github.com/oscar-system/Oscar.jl/actions/runs/9717518317/job/26855230536?pr=3897 is such a log

benlorenz commented 22 hours ago

The book tests somehow keep failing, but without an error log. @benlorenz do you have any idea why this is? E.g. oscar-system/Oscar.jl/actions/runs/9717518317/job/26855230536?pr=3897 is such a log

This is happening on master as well and I think this is related to the Singular_jll issue (https://github.com/oscar-system/Oscar.jl/issues/3895). This will hopefully be resolved with the next Singular.jl release.