| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Math.FiniteField.Conway
Contents
Description
Table of Conway polynomials
The data is from http://www.math.rwth-aachen.de/~Frank.Luebeck/data/ConwayPol/index.html
Synopsis
- data HasConwayPoly (p :: Nat) (m :: Nat)
- data SomeConwayPoly = forall p m. SomeConwayPoly (HasConwayPoly p m)
- conwayPrime :: HasConwayPoly p m -> IsSmallPrime p
- conwayDim :: HasConwayPoly p m -> Int
- conwayParams :: HasConwayPoly p m -> (Int, Int)
- conwayParams' :: HasConwayPoly p m -> (SNat64 p, SNat64 m)
- conwayCoefficients :: HasConwayPoly p m -> [Word64]
- lookupSomeConwayPoly :: Int -> Int -> Maybe SomeConwayPoly
- lookupConwayPoly :: SNat64 p -> SNat64 m -> Maybe (HasConwayPoly p m)
- unsafeLookupConwayPoly :: SNat64 p -> SNat64 m -> HasConwayPoly p m
- lookupConwayPrimRoot :: Int -> Maybe Int
Documentation
data HasConwayPoly (p :: Nat) (m :: Nat) Source #
Instances
| Show (HasConwayPoly p m) Source # | |
Defined in Math.FiniteField.Conway Methods showsPrec :: Int -> HasConwayPoly p m -> ShowS # show :: HasConwayPoly p m -> String # showList :: [HasConwayPoly p m] -> ShowS # | |
data SomeConwayPoly Source #
Constructors
| forall p m. SomeConwayPoly (HasConwayPoly p m) |
Instances
| Show SomeConwayPoly Source # | |
Defined in Math.FiniteField.Conway Methods showsPrec :: Int -> SomeConwayPoly -> ShowS # show :: SomeConwayPoly -> String # showList :: [SomeConwayPoly] -> ShowS # | |
conwayPrime :: HasConwayPoly p m -> IsSmallPrime p Source #
The prime characteristic p
conwayDim :: HasConwayPoly p m -> Int Source #
The dimension m of F_q over F_p
conwayParams :: HasConwayPoly p m -> (Int, Int) Source #
The pair (p,m)
conwayParams' :: HasConwayPoly p m -> (SNat64 p, SNat64 m) Source #
conwayCoefficients :: HasConwayPoly p m -> [Word64] Source #
lookupSomeConwayPoly :: Int -> Int -> Maybe SomeConwayPoly Source #
Usage: lookupSomeConwayPoly p m for q = p^m
lookupConwayPoly :: SNat64 p -> SNat64 m -> Maybe (HasConwayPoly p m) Source #
Usage: lookupConwayPoly sp sm for q = p^m
unsafeLookupConwayPoly :: SNat64 p -> SNat64 m -> HasConwayPoly p m Source #
lookupConwayPrimRoot :: Int -> Maybe Int Source #
We have some Conway polynomials for m=1 too; the roots of
these linear polynomials are primitive roots in F_p
Orphan instances
| Show (HasConwayPoly p m) Source # | |
Methods showsPrec :: Int -> HasConwayPoly p m -> ShowS # show :: HasConwayPoly p m -> String # showList :: [HasConwayPoly p m] -> ShowS # | |