-
Notifications
You must be signed in to change notification settings - Fork 33
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Singular.jl broken, possibly due to new Singular_jll release? #811
Comments
Maybe use option 3 for a fast fix, I'm not sure how fast option 2 can be done. |
Option 3 might not work in all cases because I think the call julia> R, (x, y) = polynomial_ring(QQ, ["x", "y"])
(Singular polynomial ring (QQ),(x,y),(dp(2),C), spoly{n_Q}[x, y])
julia> I = Ideal(R, x^2 + x*y + 1, 2y^2 + 3)
Singular ideal over Singular polynomial ring (QQ),(x,y),(dp(2),C) with generators (x^2 + x*y + 1, 2*y^2 + 3)
julia> B = slimgb(I, complete_reduction=false)
Singular ideal over Singular polynomial ring (QQ),(x,y),(dp(2),C) with generators (y^2 + 3//2, x^2 + x*y + 1)
julia> isequal(B, Ideal(R, 2 * y ^ 2 + 3, x ^ 2 + x * y + 1))
false Before the update the coefficients in julia> B = slimgb(I, complete_reduction=false)
Singular ideal over Singular polynomial ring (QQ),(x,y),(dp(2),C) with generators (2*y^2 + 3, x^2 + x*y + 1)
julia> isequal(B, Ideal(R, 2 * y ^ 2 + 3, x ^ 2 + x * y + 1))
true And this normalization issue looks very similar to the doctest failure in Oscar (e.g. in #3889): https://github.com/oscar-system/Oscar.jl/actions/runs/9704350563/job/26795722745?pr=3889#step:8:3878
Also it looks like the booktests are getting stuck during |
I vote for option 2, as now there are fixes to the option handling in libsingular: resetting options must be done after resetting the ring |
This was resolved |
The Singular.jl CI tests started to fail. Nothing in Singular.jl changed, but there is a new Singular_jll release which is
If I downgrade Singular_jll from v404.0.301 to v404.0.100 it works.
Possible solutions:
0.1.0
or so~404.000.301
, and make a quick releaseSingular_jll compat
=404.000.100` and make a quick release.@hannes14 I can't judge how hard/easy option 2 would be. Which should we try?
The text was updated successfully, but these errors were encountered: