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