Data.FiniteField.Base

Documentation

class Fractional k => FiniteField k where

Type class for finite fields

Minimal complete definition

order, char, pthRoot, allValues

Methods

order :: k -> Integer

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.

char :: k -> Integer

The characteristic of a field, p.

pthRoot :: k -> k

The inverse of Frobenius endomorphism x ↦ x^p.

allValues :: [k]

All values of a field

Instances

KnownNat p => FiniteField (PrimeField p)

Methods

order :: PrimeField p -> Integer

char :: PrimeField p -> Integer

pthRoot :: PrimeField p -> PrimeField p

allValues :: [PrimeField p]