Miller–Rabin primality test: Difference between revisions

Line 503:
else do
let pn = pred n
e = uncurry (xs,y:_++) =. second(take 1) . span even $. iterate (`div` 2) $ pn
e = xs ++ [y]
try = return . all (\a -> let c = map (powerMod n a) e in
pn `elem` c || last c == 1)
Anonymous user