# arithmoi

committed be1c179

Fix a typo and make warning clean

# Math/NumberTheory/Primes/Factorisation/Certified.hs

` import Math.NumberTheory.Primes.Factorisation.Montgomery`
` import Math.NumberTheory.Primes.Testing.Certificates.Internal`
` import Math.NumberTheory.Primes.Testing.Probabilistic`
`-import Math.NumberTheory.Powers.Squares`
` `
` -- | @'certifiedFactorisation' n@ produces the prime factorisation`
` --   of @n@, proving the primality of the factors, but doesn't report the proofs.`
` `
` -- | verify that we indeed have a correct primality proof`
` test :: [((Integer,Int),PrimalityProof)] -> [((Integer,Int),PrimalityProof)]`
`-test ((t@(p,_),prf):more)`
`+test (t@((p,_),prf):more)`
`     | p == cprime prf && checkPrimalityProof prf    = t : test more`
`     | otherwise = error (invalid p prf)`
` test [] = []`
` `
` -- | merge two lists of factors, so that the result is strictly increasing (wrt the primes)`
` merge :: [((Integer,Int),PrimalityProof)] -> [((Integer,Int),PrimalityProof)] -> [((Integer,Int),PrimalityProof)]`
`-merge xxs@(x@((p,e),c):xs) yys@(y@((q,d),b):ys)`
`+merge xxs@(x@((p,e),c):xs) yys@(y@((q,d),_):ys)`
`     = case compare p q of`
`         LT -> x : merge xs yys`
`         EQ -> ((p,e+d),c) : merge xs ys`
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.