Data.FiniteField.Base

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