Miller–Rabin primality test: Difference between revisions

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