From 5dfcc79927bcd84ca12aee4f3c6e1b55ed0d6eee Mon Sep 17 00:00:00 2001 From: Sam HADOW Date: Tue, 6 Jan 2026 15:49:48 +0100 Subject: [PATCH] typo + readme update --- README.md | 3 +++ SolaveyStrassen.hs => SoloveyStrassen.hs | 6 +++--- 2 files changed, 6 insertions(+), 3 deletions(-) rename SolaveyStrassen.hs => SoloveyStrassen.hs (81%) diff --git a/README.md b/README.md index 2e71fdd..07061ae 100644 --- a/README.md +++ b/README.md @@ -13,6 +13,9 @@ file: `fermat-prime-test.hs` ### Miller Rabin's prime test file: `miller-rabin-prime-test.hs` +### Solovey Strassen's prime test +file: `SoloveyStrassen.hs` + ## factorization algorithms ### Fermat's factorization diff --git a/SolaveyStrassen.hs b/SoloveyStrassen.hs similarity index 81% rename from SolaveyStrassen.hs rename to SoloveyStrassen.hs index e9c1421..5feb925 100644 --- a/SolaveyStrassen.hs +++ b/SoloveyStrassen.hs @@ -1,11 +1,11 @@ -module SolaveyStrassen (solaveyStrassen) where +module SoloveyStrassen (soloveyStrassen) where import ModularArithmeticUtils (modExp, jacobi) import System.Random (randomRIO) -solaveyStrassen :: Integer -> Integer -> IO Bool -solaveyStrassen n k +soloveyStrassen :: Integer -> Integer -> IO Bool +soloveyStrassen n k | n < 2 = return False | n == 2 = return True | even n = return False