1 euro bet

sumiya11 · Jan 10, 2024 · 758933b · 758933b
1 parent 08d269d
commit 758933b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/fglm/fglm_internal.jl b/src/fglm/fglm_internal.jl
@@ -115,10 +115,10 @@ function fglm_main!(
             continue
         end
 
-        if haskey(_seen, monom)
+        if haskey(_seen, ht.monoms[monom])
             throw("This monomial has been processed before !")
         end
-        _seen[monom] = 1
+        _seen[ht.monoms[monom]] = 1
         # Compute the normal form of the monomial w.r.t. by constructing and
         # echelonizing the F4 matrix.
         to_be_reduced = basis_initialize(ring, [[monom]], [C[1]])