Number.GaloisField2p32m5

This number type is intended for tests of functions over fields, where the field elements need constant space. This way we can provide a Storable instance. For Rational this would not be possible.

However, be aware that sums of non-zero elements may yield zero. Thus division is not always safe, where it is for rational numbers.

Documentation

newtype T

Constructors

Cons

Fields

decons :: Word32

Instances

Eq T

Show T

Arbitrary T

Storable T

C T

C T

C T

C T T

appPrec :: Int

base :: C a => a

lift2 :: (Word64 -> Word64 -> Word64) -> T -> T -> T

lift2Integer :: (Int64 -> Int64 -> Int64) -> T -> T -> T