Lab 6: 6a, 6b, 7

[BertLisser]

6a
(6a<-10)
6b

largeMRPrime' :: [Integer] -> IO Int
largeMRPrime' (x:xs) = do isPrime <- primeMR 2 (2^x - 1)
                          if isPrime then return (fromInteger x)
                          else do p <- largeMRPrime' xs
return p

Report incomplete. If you parametrize largeMRPrime' like

largeMRPrime' :: Int->[Integer] -> IO Int
largeMRPrime' k (x:xs) = do isPrime <- primeMR k (2^x - 1)
                          if isPrime then return (fromInteger x)
                          else do p <- largeMRPrime' xs
return p

then you see with k=1 there will be false positives.

6b (<-7)

7(<-10)