Safe Haskell	None
Language	Haskell2010

Math.FiniteField.GaloisField.Zech.C

Contents

The "raw" interface, where you have to manually supply the tables
foreign imports

Description

C implementation of GF(p^m) via precomputed tables of Zech's logarithm.

This way I can test the C implementation using the Haskell test framework.

Synopsis

data WitnessC (p :: Nat) (m :: Nat) = WitnessC (ForeignPtr Int32)
fromWitnessC :: WitnessC p m -> ForeignPtr Int32
data SomeWitnessC = forall p m. SomeWitnessC (WitnessC p m)
mkCField :: Int -> Int -> Maybe SomeWitnessC
unsafeCField :: Int -> Int -> SomeWitnessC
makeCZechTable :: WitnessZech p m -> WitnessC p m
marshalZechTable :: ZechTable -> IO (ForeignPtr Int32)
saveCZechTable :: FilePath -> WitnessC p q -> IO ()
loadCZechTable :: FilePath -> IO (Maybe SomeWitnessC)
constructWitnessC :: SNat64 p -> SNat64 m -> ForeignPtr Int32 -> WitnessC p m
data CFq (p :: Nat) (m :: Nat) = CFq !(ForeignPtr Int32) !Int32
randomCFq :: RandomGen gen => WitnessC p m -> gen -> (CFq p m, gen)
randomInvCFq :: RandomGen gen => WitnessC p m -> gen -> (CFq p m, gen)
newtype Raw (p :: Nat) (m :: Nat) = Raw Int32
fromRaw :: Raw p m -> Int32
rawNeg :: WitnessC p m -> Raw p m -> Raw p m
rawAdd :: WitnessC p m -> Raw p m -> Raw p m -> Raw p m
rawSub :: WitnessC p m -> Raw p m -> Raw p m -> Raw p m
rawInv :: WitnessC p m -> Raw p m -> Raw p m
rawMul :: WitnessC p m -> Raw p m -> Raw p m -> Raw p m
rawDiv :: WitnessC p m -> Raw p m -> Raw p m -> Raw p m
rawPow :: WitnessC p m -> Raw p m -> Int -> Raw p m
rawIsZero :: Raw p m -> Bool
rawIsOne :: Raw p m -> Bool
rawZero :: Raw p m
rawOne :: Raw p m
rawPrim :: Raw p m
rawEmbed :: WitnessC p m -> Int -> Raw p m
rawEnumerate :: WitnessC p m -> [Raw p m]
rawPrime :: WitnessC p m -> Int
rawDim :: WitnessC p m -> Int
rawFieldSize :: WitnessC p m -> Int
cboolToBool :: CBool -> Bool
zech_neg :: Ptr Int32 -> Int32 -> IO Int32
zech_add :: Ptr Int32 -> Int32 -> Int32 -> IO Int32
zech_sub :: Ptr Int32 -> Int32 -> Int32 -> IO Int32
zech_inv :: Ptr Int32 -> Int32 -> IO Int32
zech_mul :: Ptr Int32 -> Int32 -> Int32 -> IO Int32
zech_div :: Ptr Int32 -> Int32 -> Int32 -> IO Int32
zech_pow :: Ptr Int32 -> Int32 -> CInt -> IO Int32
zech_zero :: Int32
zech_one :: Int32
zech_prim :: Int32
zech_is_zero :: Int32 -> CBool
zech_is_one :: Int32 -> CBool
zech_embed :: Ptr Int32 -> CInt -> IO Int32
zech_enumerate :: Ptr Int32 -> Ptr Int32 -> IO CInt

Documentation

data WitnessC (p :: Nat) (m :: Nat) Source #

Constructors

WitnessC (ForeignPtr Int32)

Instances

Instances details

Show (WitnessC p m) Source #
Instance details Defined in Math.FiniteField.GaloisField.Zech.C Methods showsPrec :: Int -> WitnessC p m -> ShowS # show :: WitnessC p m -> String # showList :: [WitnessC p m] -> ShowS #

fromWitnessC :: WitnessC p m -> ForeignPtr Int32 Source #

data SomeWitnessC Source #

Constructors

forall p m. SomeWitnessC (WitnessC p m)

Instances

Instances details

Show SomeWitnessC Source #
Instance details Defined in Math.FiniteField.GaloisField.Zech.C Methods showsPrec :: Int -> SomeWitnessC -> ShowS # show :: SomeWitnessC -> String # showList :: [SomeWitnessC] -> ShowS #

mkCField :: Int -> Int -> Maybe SomeWitnessC Source #

unsafeCField :: Int -> Int -> SomeWitnessC Source #

makeCZechTable :: WitnessZech p m -> WitnessC p m Source #

marshalZechTable :: ZechTable -> IO (ForeignPtr Int32) Source #

saveCZechTable :: FilePath -> WitnessC p q -> IO () Source #

Save the data necessary to do computations to a file

loadCZechTable :: FilePath -> IO (Maybe SomeWitnessC) Source #

Load the data necessary to do computations from a file

constructWitnessC :: SNat64 p -> SNat64 m -> ForeignPtr Int32 -> WitnessC p m Source #

data CFq (p :: Nat) (m :: Nat) Source #

An element of the field

Constructors

CFq !(ForeignPtr Int32) !Int32

Instances

Instances details

Eq (CFq p m) Source #
Instance details Defined in Math.FiniteField.GaloisField.Zech.C Methods (==) :: CFq p m -> CFq p m -> Bool # (/=) :: CFq p m -> CFq p m -> Bool #
Fractional (CFq p m) Source #
Instance details Defined in Math.FiniteField.GaloisField.Zech.C Methods (/) :: CFq p m -> CFq p m -> CFq p m # recip :: CFq p m -> CFq p m # fromRational :: Rational -> CFq p m #
Num (CFq p m) Source #
Instance details Defined in Math.FiniteField.GaloisField.Zech.C Methods (+) :: CFq p m -> CFq p m -> CFq p m # (-) :: CFq p m -> CFq p m -> CFq p m # (*) :: CFq p m -> CFq p m -> CFq p m # negate :: CFq p m -> CFq p m # abs :: CFq p m -> CFq p m # signum :: CFq p m -> CFq p m # fromInteger :: Integer -> CFq p m #
Ord (CFq p m) Source #
Instance details Defined in Math.FiniteField.GaloisField.Zech.C Methods compare :: CFq p m -> CFq p m -> Ordering # (<) :: CFq p m -> CFq p m -> Bool # (<=) :: CFq p m -> CFq p m -> Bool # (>) :: CFq p m -> CFq p m -> Bool # (>=) :: CFq p m -> CFq p m -> Bool # max :: CFq p m -> CFq p m -> CFq p m # min :: CFq p m -> CFq p m -> CFq p m #
Show (CFq p m) Source #
Instance details Defined in Math.FiniteField.GaloisField.Zech.C Methods showsPrec :: Int -> CFq p m -> ShowS # show :: CFq p m -> String # showList :: [CFq p m] -> ShowS #
Field (CFq p m) Source #
Instance details Defined in Math.FiniteField.GaloisField.Zech.C Associated Types type Witness (CFq p m) = (w :: Type) Source # type Prime (CFq p m) :: Nat Source # type Dim (CFq p m) :: Nat Source # Methods characteristic :: Witness (CFq p m) -> Integer Source # dimension :: Witness (CFq p m) -> Integer Source # fieldSize :: Witness (CFq p m) -> Integer Source # zero :: Witness (CFq p m) -> CFq p m Source # one :: Witness (CFq p m) -> CFq p m Source # isZero :: CFq p m -> Bool Source # isOne :: CFq p m -> Bool Source # embed :: Witness (CFq p m) -> Integer -> CFq p m Source # embedSmall :: Witness (CFq p m) -> Int -> CFq p m Source # randomFieldElem :: RandomGen gen => Witness (CFq p m) -> gen -> (CFq p m, gen) Source # randomInvertible :: RandomGen gen => Witness (CFq p m) -> gen -> (CFq p m, gen) Source # primGen :: Witness (CFq p m) -> CFq p m Source # witnessOf :: CFq p m -> Witness (CFq p m) Source # power :: CFq p m -> Integer -> CFq p m Source # powerSmall :: CFq p m -> Int -> CFq p m Source # frobenius :: CFq p m -> CFq p m Source # enumerate :: Witness (CFq p m) -> [CFq p m] Source #
type Witness (CFq p m) Source #
Instance details Defined in Math.FiniteField.GaloisField.Zech.C type Witness (CFq p m) = WitnessC p m
type Prime (CFq p m) Source #
Instance details Defined in Math.FiniteField.GaloisField.Zech.C type Prime (CFq p m) = p
type Dim (CFq p m) Source #
Instance details Defined in Math.FiniteField.GaloisField.Zech.C type Dim (CFq p m) = m

randomCFq :: RandomGen gen => WitnessC p m -> gen -> (CFq p m, gen) Source #

randomInvCFq :: RandomGen gen => WitnessC p m -> gen -> (CFq p m, gen) Source #

The "raw" interface, where you have to manually supply the tables

newtype Raw (p :: Nat) (m :: Nat) Source #

Constructors

Raw Int32

Instances

Instances details

Eq (Raw p m) Source #
Instance details Defined in Math.FiniteField.GaloisField.Zech.C Methods (==) :: Raw p m -> Raw p m -> Bool # (/=) :: Raw p m -> Raw p m -> Bool #
Ord (Raw p m) Source #
Instance details Defined in Math.FiniteField.GaloisField.Zech.C Methods compare :: Raw p m -> Raw p m -> Ordering # (<) :: Raw p m -> Raw p m -> Bool # (<=) :: Raw p m -> Raw p m -> Bool # (>) :: Raw p m -> Raw p m -> Bool # (>=) :: Raw p m -> Raw p m -> Bool # max :: Raw p m -> Raw p m -> Raw p m # min :: Raw p m -> Raw p m -> Raw p m #
Show (Raw p m) Source #
Instance details Defined in Math.FiniteField.GaloisField.Zech.C Methods showsPrec :: Int -> Raw p m -> ShowS # show :: Raw p m -> String # showList :: [Raw p m] -> ShowS #