Merge pull request #134 from diffix/paul-divide-by-zero

Update solver.py
diffix · Mar 29, 2024 · 76f6255 · 76f6255
2 parents 6abe392 + e98374e
commit 76f6255
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/syndiffix/clustering/solver.py b/syndiffix/clustering/solver.py
@@ -21,7 +21,10 @@ def _col_weight(entropy: float) -> float:
 
 
 def _floor_by(n: float, x: float) -> float:
-    return math.floor(x / n) * n
+    if n == 0.0:
+        return 0.0
+    else:
+        return math.floor(x / n) * n
 
 
 def _build_clusters(