Portability | Non-portable (GHC extensions) |
---|---|
Stability | Provisional |
Maintainer | Daniel Fischer <daniel.is.fischer@googlemail.com> |
Safe Haskell | Safe-Infered |
Generalised Moebius inversion for Int
valued functions.
- generalInversion :: (Int -> Int) -> Int -> Int
- totientSum :: Int -> Int
Documentation
totientSum :: Int -> IntSource
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.