finite-field-0.7.0: Finite Fields

Portability non-portable (ScopedTypeVariables, MultiParamTypeClasses, DeriveDataTypeable, TemplateHaskell, BangPatterns) provisional masahiro.sakai@gmail.com None

Data.FiniteField.PrimeField

Contents

Description

Finite field of prime order p, Fp = Z/pZ.

References:

Synopsis

# Documentation

data PrimeField p Source

Finite field of prime order p, Fp = Z/pZ.

NB: Primality of `p` is assumed, but not checked.

Instances

 Typeable1 PrimeField Nat p => LeftModule Integer (PrimeField p) Nat p => LeftModule Natural (PrimeField p) Nat p => RightModule Integer (PrimeField p) Nat p => RightModule Natural (PrimeField p) Nat p => Bounded (PrimeField p) Nat p => Enum (PrimeField p) Eq (PrimeField p) Nat p => Fractional (PrimeField p) Nat p => Num (PrimeField p) Ord (PrimeField p) Nat p => Read (PrimeField p) Show (PrimeField p) Nat p => Field (PrimeField p) Nat p => Commutative (PrimeField p) Nat p => Ring (PrimeField p) Nat p => Characteristic (PrimeField p) Nat p => Rig (PrimeField p) Nat p => Division (PrimeField p) Nat p => Unital (PrimeField p) Nat p => Group (PrimeField p) Nat p => Multiplicative (PrimeField p) Nat p => Semiring (PrimeField p) Nat p => Monoidal (PrimeField p) Nat p => Additive (PrimeField p) Nat p => Abelian (PrimeField p) NFData (PrimeField p) Nat p => Hashable (PrimeField p) Nat p => FiniteField (PrimeField p)

conversion to `Integer`

``` a :: \$(primeField 15485867)