BrauerGroup: assertion error in nightly CI on master

[benlorenz]

While looking into the toric varieties timing error I noticed this failed assertion during the nightly tests on master, https://github.com/oscar-system/Oscar.jl/actions/runs/5509507938/jobs/10042321956.

Log:

Test Summary:        | Pass  Total   Time
Experimental.gmodule |   10     10  53.6s
Test Summary:        | Pass  Total     Time
Experimental LocalH2 |   75     75  1m03.3s
Test Summary:   | Pass  Total   Time
GlobalFundClass |    4      4  47.1s
BrauerGroup: Error During Test at /home/runner/work/Oscar.jl/Oscar.jl/test/Experimental/gmodule.jl:85
  Got exception outside of a @test
  AssertionError: norm(v) == u
  Stacktrace:
    [1] local_fundamental_class_serre(mKL::Hecke.LocalFieldMor{Hecke.LocalField{qadic, Hecke.EisensteinLocalField}, Hecke.LocalField{qadic, Hecke.EisensteinLocalField}, Hecke.MapDataFromLocalField{Hecke.LocalFieldElem{qadic, Hecke.EisensteinLocalField}, Hecke.MapDataFromQadicField{Hecke.LocalFieldElem{qadic, Hecke.EisensteinLocalField}}}, Hecke.MapDataFromLocalField{Hecke.LocalFieldElem{qadic, Hecke.EisensteinLocalField}, Hecke.MapDataFromQadicField{Hecke.LocalFieldElem{qadic, Hecke.EisensteinLocalField}}}, Hecke.LocalFieldElem{qadic, Hecke.EisensteinLocalField}})
      @ Hecke ~/.julia/packages/Hecke/PJiPq/src/LocalField/neq.jl:765
    [2] local_index(CC::Vector{Oscar.GrpCoh.CoChain{2, PermGroupElem, Oscar.GrpCoh.MultGrpElem{nf_elem}}}, P::NfOrdIdl, mG::AbstractAlgebra.Generic.CompositeMap{PermGroup, Hecke.NfMorSet{AnticNumberField}}; B::Oscar.GaloisCohomology_Mod.RelativeBrauerGroup, index_only::Bool)
      @ Oscar.GaloisCohomology_Mod ~/work/Oscar.jl/Oscar.jl/experimental/GModule/GaloisCohomology.jl:1225
    [3] local_index(CC::Oscar.GrpCoh.CoChain{2, PermGroupElem, Oscar.GrpCoh.MultGrpElem{nf_elem}}, P::NfOrdIdl, mG::AbstractAlgebra.Generic.CompositeMap{PermGroup, Hecke.NfMorSet{AnticNumberField}}; B::Oscar.GaloisCohomology_Mod.RelativeBrauerGroup, index_only::Bool)
      @ Oscar.GaloisCohomology_Mod ~/work/Oscar.jl/Oscar.jl/experimental/GModule/GaloisCohomology.jl:1089
    [4] (::Oscar.GaloisCohomology_Mod.RelativeBrauerGroup)(CC::Oscar.GrpCoh.CoChain{2, PermGroupElem, Oscar.GrpCoh.MultGrpElem{nf_elem}})
      @ Oscar.GaloisCohomology_Mod ~/work/Oscar.jl/Oscar.jl/experimental/GModule/GaloisCohomology.jl:1417
    [5] (::Oscar.GaloisCohomology_Mod.var"#cocycle_to_elem#256")(C::Oscar.GrpCoh.CoChain{2, PermGroupElem, Oscar.GrpCoh.MultGrpElem{nf_elem}})
      @ Oscar.GaloisCohomology_Mod ~/work/Oscar.jl/Oscar.jl/experimental/GModule/GaloisCohomology.jl:1547
    [6] (::Oscar.GaloisCohomology_Mod.var"#241#258"{Oscar.GaloisCohomology_Mod.var"#cocycle_to_elem#256"})(y::Oscar.GrpCoh.CoChain{2, PermGroupElem, Oscar.GrpCoh.MultGrpElem{nf_elem}})
      @ Oscar.GaloisCohomology_Mod ~/work/Oscar.jl/Oscar.jl/experimental/GModule/GaloisCohomology.jl:1553
    [7] preimage(f::MapFromFunc{Oscar.GaloisCohomology_Mod.RelativeBrauerGroup, Oscar.GrpCoh.AllCoChains{2, PermGroupElem, Oscar.GrpCoh.MultGrpElem{nf_elem}}}, y::Oscar.GrpCoh.CoChain{2, PermGroupElem, Oscar.GrpCoh.MultGrpElem{nf_elem}})
      @ Hecke ~/.julia/packages/Hecke/PJiPq/src/Map/MapType.jl:195
    [8] (::Oscar.GaloisCohomology_Mod.RelativeBrauerGroup)(M::GModule{PermGroup, AbstractAlgebra.Generic.FreeModule{nf_elem}})
      @ Oscar.GaloisCohomology_Mod ~/work/Oscar.jl/Oscar.jl/experimental/GModule/GaloisCohomology.jl:1560
    [9] macro expansion
      @ ~/work/Oscar.jl/Oscar.jl/test/Experimental/gmodule.jl:94 [inlined]
   [10] macro expansion
      @ /opt/hostedtoolcache/julia/nightly/x64/share/julia/stdlib/v1.11/Test/src/Test.jl:1577 [inlined]
   [11] top-level scope
      @ ~/work/Oscar.jl/Oscar.jl/test/Experimental/gmodule.jl:86
   [12] include(mapexpr::typeof(identity), mod::Module, _path::String)
      @ Base ./Base.jl:490 [inlined]
   [13] macro expansion
      @ Main ./timing.jl:504 [inlined]
   [14] include(str::String)
      @ Main ~/work/Oscar.jl/Oscar.jl/test/runtests.jl:76
   [15] (::Base.var"#1040#1045"{typeof(include)})(r::Base.RefValue{Any}, args::Tuple{String})
      @ Base ./asyncmap.jl:94
   [16] (::Base.var"#1056#1057"{Base.var"#1040#1045"{typeof(include)}, Channel{Any}, Nothing})()
      @ Base ./asyncmap.jl:228
Test Summary: | Pass  Error  Total   Time
BrauerGroup   |    1      1      2  17.5s
ERROR: LoadError: LoadError: Some tests did not pass: 1 passed, 0 failed, 1 errored, 0 broken.
in expression starting at /home/runner/work/Oscar.jl/Oscar.jl/test/Experimental/gmodule.jl:85

julia version:

Julia Version 1.11.0-DEV.49
Commit db6193c0ae3 (2023-07-[10](https://github.com/oscar-system/Oscar.jl/actions/runs/5509507938/jobs/10042321956#step:3:11) 12:22 UTC)
Platform Info:
  OS: Linux (x86_64-linux-gnu)
  CPU: 2 × Intel(R) Xeon(R) CPU E5-2673 v4 @ 2.30GHz
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-[15](https://github.com/oscar-system/Oscar.jl/actions/runs/5509507938/jobs/10042321956#step:3:16).0.7 (ORCJIT, broadwell)
  Threads: 1 on 2 virtual cores

Oscar version 9e6c289 (after the merge of #2530).

[thofma]

Hm, does this happen every time? I did not see it with #2530.

[benlorenz]

I don't think so, I haven't seen this in any of the other CI runs ... I have restarted the failed job to see if it happens again on this commit.

[fieker]

The code is randomised, this had been happening more frequently before, each patch makes it more rare.... I'll have a look (again) Note the error is a pure Hecke one

…

On Mon, 10 Jul 2023, 19:44 Benjamin Lorenz, ***@***.***> wrote: I don't think so, I haven't seen this in any of the other CI runs ... — Reply to this email directly, view it on GitHub <#2541 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AA36CV5J5J5KDRYWYKNSV6TXPQ5PTANCNFSM6AAAAAA2EY4I3Y> . You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>

[thofma]

Fixed in thofma/Hecke.jl#1175