| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
GaloisField
Documentation
class (Arbitrary k, Eq k, Fractional k, Pretty k, Random k, Read k, Show k) => GaloisField k where Source #
Galois fields GF(p^q) for p prime and q non-negative.
Methods
Characteristic p of field and order of prime subfield.
Degree q of field as extension field over prime subfield.
order :: k -> Integer Source #
Order p^q of field.
Frobenius endomorphism x->x^p of prime subfield.
pow :: k -> Integer -> k Source #
Exponentiation of a field element to an integer.
quad :: k -> k -> k -> Maybe k Source #
Solve quadratic ax^2+bx+c=0 over field.
rnd :: MonadRandom m => m k Source #
Randomised field element.
Square root of a field element.