From 758933bee3b973c1a01b7ccd361344de378d8528 Mon Sep 17 00:00:00 2001
From: Alexander Demin <asdemin_2@edu.hse.ru>
Date: Wed, 10 Jan 2024 10:50:52 +0300
Subject: [PATCH] 1 euro bet

---
 src/fglm/fglm_internal.jl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/fglm/fglm_internal.jl b/src/fglm/fglm_internal.jl
index dafd2640..fcefc4d9 100644
--- 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]])