Math.FiniteField.Conway

Table of Conway polynomials

The data is from http://www.math.rwth-aachen.de/~Frank.Luebeck/data/ConwayPol/index.html

Documentation

data ConwayPoly (p :: Nat) (m :: Nat)

Instances

Show (ConwayPoly p m)

Defined in Math.FiniteField.Conway

Methods

showsPrec :: Int -> ConwayPoly p m -> ShowS

show :: ConwayPoly p m -> String

showList :: [ConwayPoly p m] -> ShowS

data SomeConwayPoly

Constructors

forall p m. SomeConwayPoly (ConwayPoly p m)

Instances

Show SomeConwayPoly

Defined in Math.FiniteField.Conway

Methods

showsPrec :: Int -> SomeConwayPoly -> ShowS

show :: SomeConwayPoly -> String

showList :: [SomeConwayPoly] -> ShowS

conwayPrime :: ConwayPoly p m -> IsSmallPrime p

The prime characteristic p

conwayDim :: ConwayPoly p m -> Int

The dimension m of F_q over F_p

conwayParams :: ConwayPoly p m -> (Int, Int)

The pair (p,m)

conwayParams' :: ConwayPoly p m -> (SNat64 p, SNat64 m)

conwayCoefficients :: ConwayPoly p m -> [Word64]

lookupSomeConwayPoly :: Int -> Int -> Maybe SomeConwayPoly

Usage: lookupSomeConwayPoly p m for q = p^m

lookupConwayPoly :: SNat64 p -> SNat64 m -> Maybe (ConwayPoly p m)

Usage: lookupConwayPoly sp sm for q = p^m

unsafeLookupConwayPoly :: SNat64 p -> SNat64 m -> ConwayPoly p m

lookupConwayPrimRoot :: Int -> Maybe Int

We have some Conway polynomials for m=1 too; the roots of these linear polynomials are primitive roots in F_p

Orphan instances

Show (ConwayPoly p m)

Methods

showsPrec :: Int -> ConwayPoly p m -> ShowS

show :: ConwayPoly p m -> String

showList :: [ConwayPoly p m] -> ShowS