diff --git a/Crypto/Number/ModArithmetic.hs b/Crypto/Number/ModArithmetic.hs index 7250555..ef59d7e 100644 --- a/Crypto/Number/ModArithmetic.hs +++ b/Crypto/Number/ModArithmetic.hs @@ -97,7 +97,7 @@ inverseCoprimes g m = Just i -> i -- | Computes the Jacobi symbol (a/n). --- 0 = a < n; n = 3 and odd. +-- 0 ≤ a < n; n ≥ 3 and odd. -- -- The Legendre and Jacobi symbols are indistinguishable exactly when the -- lower argument is an odd prime, in which case they have the same value. @@ -120,4 +120,4 @@ jacobi a n s = if nMod4 == 3 && a1Mod4 == 3 then -s' else s' n1 = n `mod` a1 in if a1 == 1 then Just s - else fmap (*s) (jacobi n1 a1) \ No newline at end of file + else fmap (*s) (jacobi n1 a1)