libsingular_julia.so: undefined symbol in CI

[lgoettgens]

Since about an hour ago, all CI jobs of Oscar fail with

/opt/hostedtoolcache/julia/1.10.6/x64/bin/julia: symbol lookup error: /home/runner/.julia/artifacts/cf0ff4f151918145bd7c13270aae66e73a2cc2d9/lib/libsingular_julia.so: undefined symbol: _Z4kStdP10sip_sidealS0_6tHomogPP6intvecS3_iiS3_PFiP10skStrategyE
Package Oscar errored during testing (exit code: 127)

As this error mentions singular, and there has been a release of Singular_jll at about that time, I suspect this to correlate somehow.

ping @hannes14

[benlorenz]

That symbol seems to point to the old intvec version of kstd:
Singular/Singular@fdca752#diff-e0d539743ed77af80cf62b0c1cb0242fe497fcb6b72bb74e179c68485ee6d91fL41-R42

[fingolfin]

c++filt says:

kStd(sip_sideal*, sip_sideal*, tHomog, intvec**, intvec*, int, int, intvec*, int (*)(skStrategy*))

[benlorenz]

Similar error again with the new version (Singular_jll v404.0.708) but with a different symbol,
_Z8kMin_stdP10sip_sidealS0_6tHomogPP6intvecRS0_S3_ii:

kMin_std(sip_sideal*, sip_sideal*, tHomog, intvec**, sip_sideal*&, intvec*, int, int)

https://github.com/oscar-system/Oscar.jl/actions/runs/11973443988/job/33401803885?pr=4286#step:8:527

[fingolfin]

@hannes14 made a new release fixing that but now it fails in

idElimination(sip_sideal*, spolyrec*, intvec*, GbVariant)

[fingolfin]

In addition libsingular-julia cannot be built against the current Singular_jll, the errors (see JuliaPackaging/Yggdrasil#9839) suggest that also kStd has a breaking change.

I would suggest that for further changes we stop the whack-a-mole and the new Singular commit is first tested locally. One way how to do this is described in README.maintainer.md inside the Singular.jl repository, in the final section Building a custom Singular_jjl locally

[thofma]

Can we revert whatever started this to get a working Oscar again?

[fingolfin]

Yeah we should yank the last couple bad Singular_jll releases. Unfortunately I can't access a computer right now to do it (maybe later today if nobody beats me to it)

[hannes14]

JuliaPackaging/Yggdrasil#9851 works locally with the tests of Singular.jl and Oscar.jl

[thofma]

I think it broke the doctests, so this release of Singular_jll is still breaking Oscar development.

See: https://github.com/oscar-system/Oscar.jl/actions/runs/11983625740/job/33427069919

[lgoettgens]

Would it be possible to revert all of these Singular_jll versions from the last days asap? Until this is fixed, we have failures in CI, see https://github.com/oscar-system/Oscar.jl/actions/runs/12002618979/job/33454875472#step:8:944