Math.FiniteField.PrimeField.Generic

Arbitrary prime fields, naive implementation

Witness for the existence of the field

newtype WitnessFp (p :: Nat)

A witness for the existence of the prime field F_p

Constructors

WitnessFp

Fields

• fromWitnessFp :: IsPrime p

Instances

Show (WitnessFp p)

Defined in Math.FiniteField.PrimeField.Generic

Methods

showsPrec :: Int -> WitnessFp p -> ShowS

show :: WitnessFp p -> String

showList :: [WitnessFp p] -> ShowS

data SomeWitnessFp

Constructors

forall p. SomeWitnessFp (WitnessFp p)

Instances

Show SomeWitnessFp

Defined in Math.FiniteField.PrimeField.Generic

Methods

showsPrec :: Int -> SomeWitnessFp -> ShowS

show :: SomeWitnessFp -> String

showList :: [SomeWitnessFp] -> ShowS

mkPrimeField :: Integer -> Maybe SomeWitnessFp

Note: currently this checks the primality of the input using trial division, so it's not really practical...

But you can use unsafePrimeField to cheat.

unsafePrimeField :: Integer -> SomeWitnessFp

You are responsible for guaranteeing that the input is a prime.

Field elements

data Fp (p :: Nat)

An element of the prime field F_p

Instances

Eq (Fp p)

Defined in Math.FiniteField.PrimeField.Generic

Methods

(==) :: Fp p -> Fp p -> Bool

(/=) :: Fp p -> Fp p -> Bool

Fractional (Fp p)

Defined in Math.FiniteField.PrimeField.Generic

Methods

(/) :: Fp p -> Fp p -> Fp p

recip :: Fp p -> Fp p

fromRational :: Rational -> Fp p

Num (Fp p)

Defined in Math.FiniteField.PrimeField.Generic

Methods

(+) :: Fp p -> Fp p -> Fp p

(-) :: Fp p -> Fp p -> Fp p

(*) :: Fp p -> Fp p -> Fp p

negate :: Fp p -> Fp p

abs :: Fp p -> Fp p

signum :: Fp p -> Fp p

fromInteger :: Integer -> Fp p

Ord (Fp p)

Note: the Ord instance is present only so that you can use GF as key in Maps - the ordering is kind of arbitrary!

Defined in Math.FiniteField.PrimeField.Generic

Methods

compare :: Fp p -> Fp p -> Ordering

(<) :: Fp p -> Fp p -> Bool

(<=) :: Fp p -> Fp p -> Bool

(>) :: Fp p -> Fp p -> Bool

(>=) :: Fp p -> Fp p -> Bool

max :: Fp p -> Fp p -> Fp p

min :: Fp p -> Fp p -> Fp p

Show (Fp p)

Defined in Math.FiniteField.PrimeField.Generic

Methods

showsPrec :: Int -> Fp p -> ShowS

show :: Fp p -> String

showList :: [Fp p] -> ShowS

Field (Fp p)

Defined in Math.FiniteField.PrimeField.Generic

Associated Types

type Witness (Fp p) = (w :: Type)

type Prime (Fp p) :: Nat

type Dim (Fp p) :: Nat

Methods

characteristic :: Witness (Fp p) -> Integer

dimension :: Witness (Fp p) -> Integer

fieldSize :: Witness (Fp p) -> Integer

zero :: Witness (Fp p) -> Fp p

one :: Witness (Fp p) -> Fp p

isZero :: Fp p -> Bool

isOne :: Fp p -> Bool

embed :: Witness (Fp p) -> Integer -> Fp p

embedSmall :: Witness (Fp p) -> Int -> Fp p

randomFieldElem :: RandomGen gen => Witness (Fp p) -> gen -> (Fp p, gen)

randomInvertible :: RandomGen gen => Witness (Fp p) -> gen -> (Fp p, gen)

primGen :: Witness (Fp p) -> Fp p

witnessOf :: Fp p -> Witness (Fp p)

power :: Fp p -> Integer -> Fp p

powerSmall :: Fp p -> Int -> Fp p

frobenius :: Fp p -> Fp p

enumerate :: Witness (Fp p) -> [Fp p]

type Witness (Fp p)

Defined in Math.FiniteField.PrimeField.Generic

type Witness (Fp p) = WitnessFp p

type Prime (Fp p)

Defined in Math.FiniteField.PrimeField.Generic

type Prime (Fp p) = p

type Dim (Fp p)

Defined in Math.FiniteField.PrimeField.Generic

type Dim (Fp p) = 1