LocalFundamentalClass Serre tests fail randomly
Closed this issue · 3 comments
lgoettgens commented
LocalFundamentalClass Serre: Test Failed at /home/runner/.julia/packages/Hecke/1fdag/test/LocalField/neq.jl:57
Expression: iszero(a) || valuation(a) > 20
Stacktrace:
[1] macro expansion
@ ~/.julia/packages/Hecke/1fdag/test/LocalField/neq.jl:57 [inlined]
[2] macro expansion
@ /buildworker/worker/package_linux64/build/usr/share/julia/stdlib/v1.6/Test/src/Test.jl:1[151](https://github.com/Nemocas/AbstractAlgebra.jl/actions/runs/8281920352/job/22661589864?pr=1636#step:7:152) [inlined]
[3] top-level scope
@ ~/.julia/packages/Hecke/1fdag/test/LocalField/neq.jl:45
I already observed this a few times, but it usually goes away when restarting the job.
thofma commented
Different error, same file:
Error During Test at /home/runner/work/AbstractAlgebra.jl/AbstractAlgebra.jl/oscar-dev/Hecke/test/LocalField/neq.jl:44
Got exception outside of a @test
ArgumentError: Unable to solve linear system
Stacktrace:
[1] #solve#10
@ ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/Solve.jl:568 [inlined]
[2] #solve#9
@ ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/src/Solve.jl:563 [inlined]
[3] artin_schreier_equation(X::Hecke.ArtinSchreierSolveCtx{FqMatrix, Vector{FqFieldElem}}, c::FqFieldElem)
@ Hecke ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/oscar-dev/Hecke/src/LocalField/neq.jl:542
[4] frobenius_equation2(c::Hecke.LocalFieldElem{Hecke.LocalFieldElem{QadicFieldElem, Hecke.EisensteinLocalField}, Hecke.UnramifiedLocalField}, F::PadicField; frobenius::Hecke.MapEvalCtx, start::Nothing)
@ Hecke ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/oscar-dev/Hecke/src/LocalField/neq.jl:698
[5] (::Hecke.var"#5062#5063"{PadicField, Int64, Hecke.LocalField{Hecke.LocalFieldElem{QadicFieldElem, Hecke.EisensteinLocalField}, Hecke.UnramifiedLocalField}})()
@ Hecke ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/oscar-dev/Hecke/src/LocalField/neq.jl:649
[6] with_precision(f::Hecke.var"#5062#5063"{PadicField, Int64, Hecke.LocalField{Hecke.LocalFieldElem{QadicFieldElem, Hecke.EisensteinLocalField}, Hecke.UnramifiedLocalField}}, K::QadicField, n::Int64)
@ Nemo ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/oscar-dev/Nemo/src/flint/qadic.jl:969
[7] setprecision(f::Function, K::QadicField, n::Int64)
@ Nemo ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/oscar-dev/Nemo/src/flint/qadic.jl:977
[8] setprecision(f::Function, K::Hecke.LocalField{QadicFieldElem, Hecke.EisensteinLocalField}, n::Int64) (repeats 2 times)
@ Hecke ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/oscar-dev/Hecke/src/LocalField/LocalField.jl:[403](https://github.com/Nemocas/AbstractAlgebra.jl/actions/runs/10892633978/job/30225950066?pr=1785#step:7:404)
[9] frobenius_equation(c::Hecke.LocalFieldElem{Hecke.LocalFieldElem{QadicFieldElem, Hecke.EisensteinLocalField}, Hecke.UnramifiedLocalField}, F::PadicField; frobenius::Hecke.MapEvalCtx)
@ Hecke ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/oscar-dev/Hecke/src/LocalField/neq.jl:620
[10] local_fundamental_class_serre(mKL::Hecke.LocalFieldMor{PadicField, Hecke.LocalField{QadicFieldElem, Hecke.EisensteinLocalField}, Hecke.MapDataFromPadicField{Hecke.LocalField{QadicFieldElem, Hecke.EisensteinLocalField}}, Hecke.MapDataFromPadicField{Hecke.LocalField{QadicFieldElem, Hecke.EisensteinLocalField}}, PadicFieldElem})
@ Hecke ~/work/AbstractAlgebra.jl/AbstractAlgebra.jl/oscar-dev/Hecke/src/LocalField/neq.jl:873
thofma commented
Just to make sure. This is still not fixed, right @fieker? We saw it again in https://github.com/Nemocas/Nemo.jl/actions/runs/11002348947/job/30549161397?pr=1860, which includes #1617.
lgoettgens commented