Commits

dafis committed 4c720cf

Fix warning

Comments (0)

Files changed (1)

Math/NumberTheory/Primes/Testing/Certified.hs

 isCertifiedPrime :: Integer -> Bool
 isCertifiedPrime n
     | n < 0     = isCertifiedPrime (-n)
-    | otherwise = isPrime n && ((n < 10^17) || checkPrimalityProof (certifyBPSW n))
+    | otherwise = isPrime n && ((n < bpbd) || checkPrimalityProof (certifyBPSW n))
+      where
+        bpbd = 100000000000000000
 -- Although it is known that there are no Baillie PSW pseudoprimes below 2^64,
 -- use the verified bound 10^17, I don't know whether Gilchrist's result has been
 -- verified yet.