| Portability | Non-portable (GHC extensions) |
|---|---|
| Stability | Provisional |
| Maintainer | Daniel Fischer <daniel.is.fischer@googlemail.com> |
| Safe Haskell | Safe-Infered |
Math.NumberTheory.MoebiusInversion
Description
Generalised Moebius inversion
- generalInversion :: (Int -> Integer) -> Int -> Integer
- totientSum :: Int -> Integer
Documentation
totientSum :: Int -> IntegerSource
totientSum n is, for n > 0, the sum of [totient k | k <- [1 .. n]],
computed via generalised Moebius inversion.
Arguments less than 1 cause an error to be raised.