Maintainer | Marcel Fourné (hecc@bitrot.dyndns.org) |
---|---|
Safe Haskell | Safe-Infered |
A parallelized F(2^e) backend
- f2eAdd :: Array U DIM1 Bool -> Array U DIM1 Bool -> Array U DIM1 Bool
- f2eMul :: Array U DIM1 Bool -> Array U DIM1 Bool -> Array U DIM1 Bool
- f2eBitshift :: Array U DIM1 Bool -> Int -> Array U DIM1 Bool
- f2eReduceBy :: Array U DIM1 Bool -> Array U DIM1 Bool -> Array U DIM1 Bool
- f2eFromInteger :: Integer -> Array U DIM1 Bool
- f2ePow :: Array U DIM1 Bool -> Integer -> Array U DIM1 Bool
- f2eToInteger :: Array U DIM1 Bool -> Integer
- f2eTestBit :: Array U DIM1 Bool -> Int -> Bool
- elimFalses :: Array U DIM1 Bool -> Array U DIM1 Bool
- modinvF2 :: Array U DIM1 Bool -> Array U DIM1 Bool -> Array U DIM1 Bool
- f2eLen :: Unbox a => Array U sh a -> Int
Documentation
f2eAdd :: Array U DIM1 Bool -> Array U DIM1 Bool -> Array U DIM1 BoolSource
binary addition of a1
and a2
f2eMul :: Array U DIM1 Bool -> Array U DIM1 Bool -> Array U DIM1 BoolSource
binary multiplication of a1
and a2
f2eBitshift :: Array U DIM1 Bool -> Int -> Array U DIM1 BoolSource
a simple bitshift where n
shifts left, so a negative n
shifts right
f2eReduceBy :: Array U DIM1 Bool -> Array U DIM1 Bool -> Array U DIM1 BoolSource
polynomial reduction of a
via r
f2ePow :: Array U DIM1 Bool -> Integer -> Array U DIM1 BoolSource
the power function, b
^ k
, atm only specialised for k in {2,3}
elimFalses :: Array U DIM1 Bool -> Array U DIM1 BoolSource
a helper function to shorten all leading 0 from a