| Copyright | (c) Masahiro Sakai 2013 |
|---|---|
| License | BSD-style |
| Maintainer | masahiro.sakai@gmail.com |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Data.FiniteField.Base
Description
- class Fractional k => FiniteField k where
Documentation
class Fractional k => FiniteField k where Source #
Type class for finite fields
Methods
order :: k -> Integer Source #
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) Source # | |