From 3e33f91522d1b28b5392bede3938609178620fa4 Mon Sep 17 00:00:00 2001
From: Ludo Pulles <ludo.pulles@gmail.com>
Date: Wed, 25 Sep 2024 23:45:26 +0200
Subject: [PATCH] Fix CI, don't round hamming weight

---
 estimator/lwe_parameters.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/estimator/lwe_parameters.py b/estimator/lwe_parameters.py
index da969ca..8bb1b04 100644
--- a/estimator/lwe_parameters.py
+++ b/estimator/lwe_parameters.py
@@ -140,7 +140,8 @@ def switch_modulus(self):
             LWEParameters(n=128, q=5289, Xs=D(σ=0.82), Xe=D(σ=3.08), m=+Infinity, tag=None)
 
         """
-        h = self.Xs.hamming_weight
+        # Note: hamming_weight rounds to an integer, which we do not want here.
+        h = len(self.Xs) * self.Xs._density
 
         # h uniform in -(0.5,0.5) ± stddev(χ_s)
         Xr_stddev = sqrt(h / 12) * self.Xs.stddev  # rounding noise