| Portability | portable |
|---|---|
| Stability | provisional |
| Maintainer | masahiro.sakai@gmail.com |
| Safe Haskell | Safe-Inferred |
Data.FiniteField.Base
Description
- class Fractional k => FiniteField k where
Documentation
class Fractional k => FiniteField k whereSource
Type class for finite fields
Methods
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
Instances
| Nat p => FiniteField (PrimeField p) |