ValidFilter: fix minor

kaist-plrg · Mar 7, 2024 · 851019e · 851019e
1 parent 705fc8b
commit 851019e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/fhetest/Generate/ValidFilter.scala b/src/main/scala/fhetest/Generate/ValidFilter.scala
@@ -16,7 +16,7 @@ def ringDimIsPowerOfTwo(n: Int): Boolean = (n > 0) && ((n & (n - 1)) == 0)
 
 def plainModIsPositive(m: Int): Boolean = m > 0
 
-def plainModEnableBatching(m: Int, n: Int): Boolean = (m % n) == 1
+def plainModEnableBatching(m: Int, n: Int): Boolean = (m % (2 * n)) == 1
 
 def lenIsLessThanRingDim(len: Int, n: Int, scheme: Scheme): Boolean =
   scheme match {