Data.FiniteField.Base

Documentation

class Fractional k => FiniteField k where

Type class for finite fields

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

Nat p => FiniteField (PrimeField p)