From e85813de6414922e2dc82bf9836c2cba66cbc36f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= Date: Fri, 20 Sep 2024 12:29:43 +0200 Subject: [PATCH] Bump Hecke compat again --- Project.toml | 2 +- experimental/GModule/src/GaloisCohomology.jl | 8 ++++---- experimental/GModule/test/runtests.jl | 4 ++-- 3 files changed, 7 insertions(+), 7 deletions(-) diff --git a/Project.toml b/Project.toml index dd9b750ff26..9f9318fb906 100644 --- a/Project.toml +++ b/Project.toml @@ -29,7 +29,7 @@ AbstractAlgebra = "0.43.1" AlgebraicSolving = "0.7.0" Distributed = "1.6" GAP = "0.11.3" -Hecke = "0.34.0" +Hecke = "0.34.1" JSON = "^0.20, ^0.21" JSON3 = "1.13.2" LazyArtifacts = "1.6" diff --git a/experimental/GModule/src/GaloisCohomology.jl b/experimental/GModule/src/GaloisCohomology.jl index 0c7d3604fdc..bf683910726 100644 --- a/experimental/GModule/src/GaloisCohomology.jl +++ b/experimental/GModule/src/GaloisCohomology.jl @@ -340,7 +340,7 @@ defaulting to the full automorphism group over the prime field. Find the embedding of Gp -> G, realizing the local automorphism group as a subgroup of the global one. """ -function Oscar.decomposition_group(K::AbsSimpleNumField, mK::Map, mG::Map = automorphism_group(K)[2], mGp::Map = automorphism_group(codomain(mK), Hecke.absolute_base_field(codomain(mK))); _sub::Bool = false) +function Oscar.decomposition_group(K::AbsSimpleNumField, mK::Map, mG::Map = automorphism_group(K)[2], mGp::Map = automorphism_group(codomain(mK), absolute_base_field(codomain(mK))); _sub::Bool = false) Kp = codomain(mK) @assert domain(mK) == K @@ -998,7 +998,7 @@ function idele_class_gmodule(k::AbsSimpleNumField, s::Vector{Int} = Int[]; redo: Hecke.popindent() @vprint :GaloisCohomology 2 " .. gathering the local modules ..\n" Hecke.pushindent() - C = [gmodule(x[1], Hecke.absolute_base_field(x[1])) for x = L]; + C = [gmodule(x[1], absolute_base_field(x[1])) for x = L]; I.D = [x[2] for x = C] I.L = [x[3] for x = C] @hassert :GaloisCohomology 1 all(x->is_consistent(x[1]), C) @@ -1314,7 +1314,7 @@ function local_index(CC::Vector{GrpCoh.CoChain{2, PermGroupElem, GrpCoh.MultGrpE cn = data[7] else L, mL = completion(k, P)#, 40*ramification_index(P)) - C, mGp, mU = gmodule(L, Hecke.absolute_base_field(L)) + C, mGp, mU = gmodule(L, absolute_base_field(L)) G = domain(mG) emb, _m = decomposition_group(k, mL, mG, mGp, _sub = true) @@ -1860,7 +1860,7 @@ function serre(A::IdeleParent, P::AbsNumFieldOrderIdeal) Kp, mKp, mGp, mUp, pro, inj = completion(A, P) mp = decomposition_group(A.k, mKp, A.mG, mGp) qr = restrict(C, mp) - s = Hecke.Hecke.local_fundamental_class_serre(Kp, Hecke.absolute_base_field(Kp)) + s = Hecke.Hecke.local_fundamental_class_serre(Kp, absolute_base_field(Kp)) # Oscar.GModuleFromGap.istwo_cocycle(Dict( (g, h) => s(mGp(g), mGp(h)) for g = domain(mGp) for h = domain(mGp)), mGp) z = gmodule(domain(mGp), [hom(domain(mUp), domain(mUp), [preimage(mUp, mGp(g)(mUp(u))) for u = gens(domain(mUp))]) for g = gens(domain(mGp))]) diff --git a/experimental/GModule/test/runtests.jl b/experimental/GModule/test/runtests.jl index 95c24949836..bb7fb045b2a 100644 --- a/experimental/GModule/test/runtests.jl +++ b/experimental/GModule/test/runtests.jl @@ -220,8 +220,8 @@ end l2 = prime_decomposition(maximal_order(k), 2) k2, _ = Hecke.completion(k, l2[1][1], 120) - z = Hecke.local_fundamental_class_serre(k2, Hecke.absolute_base_field(k2)) - C, mG, mU = Oscar.GrpCoh.gmodule(k2, Hecke.absolute_base_field(k2)) + z = Hecke.local_fundamental_class_serre(k2, absolute_base_field(k2)) + C, mG, mU = Oscar.GrpCoh.gmodule(k2, absolute_base_field(k2)) G = domain(mG) pe = gen(k2)