Adapt to Hecke changes

oscar-system · Sep 23, 2024 · 269bab0 · 269bab0
1 parent e7e334f
commit 269bab0
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 8 deletions.
diff --git 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.2"
+Hecke = "0.34.3"
 JSON = "^0.20, ^0.21"
 JSON3 = "1.13.2"
 LazyArtifacts = "1.6"

diff --git a/src/Rings/mpoly-graded.jl b/src/Rings/mpoly-graded.jl
@@ -973,15 +973,11 @@ function is_homogeneous(F::MPolyDecRingElem)
   S = nothing
   u = zero(D)
   for c = MPolyExponentVectors(forget_decoration(F))
-    zero!(u.coeff)
-    # TODO: once Hecke supports zero! on FinGenAbGroupElem, switch to this:
-    #zero!(u)
+    u = zero!(u)
     for i=1:length(c)
-      addmul!(u.coeff, d[i].coeff, c[i])
-      # TODO: once Hecke supports addmul! on FinGenAbGroupElem, switch to this:
-      #addmul!(u, d[i], c[i])
+      u = addmul_delayed_reduction!(u, d[i], c[i])
     end
-    Hecke.assure_reduced!(parent(u), u.coeff)
+    u = reduce!(u)
     if S === nothing
       S = deepcopy(u)
     elseif S != u