Math.FiniteField.GaloisField.Zech.C

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.

Documentation

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

Constructors

WitnessC (ForeignPtr Int32)

Instances

Show (WitnessC p m)

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

data SomeWitnessC

Constructors

forall p m. SomeWitnessC (WitnessC p m)

Instances

Show SomeWitnessC

Defined in Math.FiniteField.GaloisField.Zech.C

Methods

showsPrec :: Int -> SomeWitnessC -> ShowS

show :: SomeWitnessC -> String

showList :: [SomeWitnessC] -> ShowS

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 ()

Save the data necessary to do computations to a file

loadCZechTable :: FilePath -> IO (Maybe SomeWitnessC)

Load the data necessary to do computations from a file

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

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

An element of the field

Constructors

CFq !(ForeignPtr Int32) !Int32

Instances

Num (CFq p m)

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

Fractional (CFq p m)

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

Show (CFq p m)

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)

Defined in Math.FiniteField.GaloisField.Zech.C

Associated Types

type Witness (CFq p m) = (w :: Type)

type Prime (CFq p m) :: Nat

type Dim (CFq p m) :: Nat

Methods

characteristic :: Witness (CFq p m) -> Integer

dimension :: Witness (CFq p m) -> Integer

fieldSize :: Witness (CFq p m) -> Integer

zero :: Witness (CFq p m) -> CFq p m

one :: Witness (CFq p m) -> CFq p m

isZero :: CFq p m -> Bool

isOne :: CFq p m -> Bool

embed :: Witness (CFq p m) -> Integer -> CFq p m

embedSmall :: Witness (CFq p m) -> Int -> CFq p m

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

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

primGen :: Witness (CFq p m) -> CFq p m

witnessOf :: CFq p m -> Witness (CFq p m)

power :: CFq p m -> Integer -> CFq p m

powerSmall :: CFq p m -> Int -> CFq p m

frobenius :: CFq p m -> CFq p m

enumerate :: Witness (CFq p m) -> [CFq p m]

Eq (CFq p m)

Defined in Math.FiniteField.GaloisField.Zech.C

Methods

(==) :: CFq p m -> CFq p m -> Bool

(/=) :: CFq p m -> CFq p m -> Bool

Ord (CFq p m)

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

type Dim (CFq p m)

Defined in Math.FiniteField.GaloisField.Zech.C

type Dim (CFq p m) = m

type Prime (CFq p m)

Defined in Math.FiniteField.GaloisField.Zech.C

type Prime (CFq p m) = p

type Witness (CFq p m)

Defined in Math.FiniteField.GaloisField.Zech.C

type Witness (CFq p m) = WitnessC p m

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

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

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

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

Constructors

Raw Int32

Instances

Show (Raw p m)

Defined in Math.FiniteField.GaloisField.Zech.C

Methods

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

show :: Raw p m -> String

showList :: [Raw p m] -> ShowS

Eq (Raw p m)

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)

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

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

foreign imports

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