Safe Haskell | None |
---|---|
Language | Haskell2010 |
Prime field from which exponents should be chosen
Documentation
Prime field with characteristic _r
Instances
Eq Fr Source # | |
Fractional Fr Source # | |
Num Fr Source # | |
Ord Fr Source # | |
Show Fr Source # | |
Bits Fr Source # | |
Defined in Pairing.Fr | |
NFData Fr Source # | |
Defined in Pairing.Fr | |
Pretty Fr Source # | |
Defined in Pairing.Fr |
Turn an integer into an Fr
number, should be used instead of
the Fr
constructor.
random :: MonadRandom m => m Fr Source #
Compute primitive roots of unity for 2^0, 2^1, ..., 2^28. (2^28 is the largest power of two that divides _r - 1, therefore there are no primitive roots of unity for higher powers of 2 in Fr.)
precompRootOfUnity :: Int -> Fr Source #