Portability | portable |
---|---|

Stability | provisional |

Maintainer | masahiro.sakai@gmail.com |

Safe Haskell | None |

- class Fractional k => FiniteField k where

# Documentation

class Fractional k => FiniteField k whereSource

Type class for finite fields

The order is number of elements of a finite field `k`

.
It of the form `p^n`

, where `p`

is prime number called the characteristic
of the field, and `n`

is a positive integer.

The characteristic of a field, `p`

.

The inverse of Frobenius endomorphism `x`

↦ `x^p`

.

All values of a field

Nat p => FiniteField (PrimeField p) |