Safe Haskell	Safe-Inferred
Language	GHC2021

Math.Linear.GF2

Synopsis

newtype GF2x64 = GF2x64 {
- getGF2x64 :: Word
}
newtype GF2x64' = GF2x64' {
- basisGF2x64' :: Vector GF2x64
}
zeroGF2x64' :: GF2x64'
rankGF2x64' :: GF2x64' -> Int
inGF2x64' :: GF2x64 -> GF2x64' -> Bool
insertGF2x64' :: GF2x64 -> GF2x64' -> GF2x64'
spanGF2x64' :: Vector GF2x64 -> GF2x64'
componentsGF2x64' :: GF2x64' -> GF2x64 -> GF2x64
linCombGF2x64' :: GF2x64' -> GF2x64 -> GF2x64

Documentation

newtype GF2x64 Source #

\(GF(2)^{64}\)

bitwise xor

+	0	1
0	0	1
1	1	0

bitwise and

*	0	1
0	0	0
1	0	1

Constructors

GF2x64
Fields getGF2x64 :: Word

Instances

Instances details

Bits GF2x64 Source #
Instance details Defined in Math.Linear.GF2 Methods (.&.) :: GF2x64 -> GF2x64 -> GF2x64 # (.\|.) :: GF2x64 -> GF2x64 -> GF2x64 # xor :: GF2x64 -> GF2x64 -> GF2x64 # complement :: GF2x64 -> GF2x64 # shift :: GF2x64 -> Int -> GF2x64 # rotate :: GF2x64 -> Int -> GF2x64 # zeroBits :: GF2x64 # bit :: Int -> GF2x64 # setBit :: GF2x64 -> Int -> GF2x64 # clearBit :: GF2x64 -> Int -> GF2x64 # complementBit :: GF2x64 -> Int -> GF2x64 # testBit :: GF2x64 -> Int -> Bool # bitSizeMaybe :: GF2x64 -> Maybe Int # bitSize :: GF2x64 -> Int # isSigned :: GF2x64 -> Bool # shiftL :: GF2x64 -> Int -> GF2x64 # unsafeShiftL :: GF2x64 -> Int -> GF2x64 # shiftR :: GF2x64 -> Int -> GF2x64 # unsafeShiftR :: GF2x64 -> Int -> GF2x64 # rotateL :: GF2x64 -> Int -> GF2x64 # rotateR :: GF2x64 -> Int -> GF2x64 # popCount :: GF2x64 -> Int #
FiniteBits GF2x64 Source #
Instance details Defined in Math.Linear.GF2 Methods finiteBitSize :: GF2x64 -> Int # countLeadingZeros :: GF2x64 -> Int # countTrailingZeros :: GF2x64 -> Int #
Num GF2x64 Source #
Instance details Defined in Math.Linear.GF2 Methods (+) :: GF2x64 -> GF2x64 -> GF2x64 # (-) :: GF2x64 -> GF2x64 -> GF2x64 # (*) :: GF2x64 -> GF2x64 -> GF2x64 # negate :: GF2x64 -> GF2x64 # abs :: GF2x64 -> GF2x64 # signum :: GF2x64 -> GF2x64 # fromInteger :: Integer -> GF2x64 #
Show GF2x64 Source #	`>>>` `show (GF2x64 10)`"0b1010" `>>>` `show (GF2x64 0)`"0b0"
Instance details Defined in Math.Linear.GF2 Methods showsPrec :: Int -> GF2x64 -> ShowS # show :: GF2x64 -> String # showList :: [GF2x64] -> ShowS #
Eq GF2x64 Source #
Instance details Defined in Math.Linear.GF2 Methods (==) :: GF2x64 -> GF2x64 -> Bool # (/=) :: GF2x64 -> GF2x64 -> Bool #
Ord GF2x64 Source #
Instance details Defined in Math.Linear.GF2 Methods compare :: GF2x64 -> GF2x64 -> Ordering # (<) :: GF2x64 -> GF2x64 -> Bool # (<=) :: GF2x64 -> GF2x64 -> Bool # (>) :: GF2x64 -> GF2x64 -> Bool # (>=) :: GF2x64 -> GF2x64 -> Bool # max :: GF2x64 -> GF2x64 -> GF2x64 # min :: GF2x64 -> GF2x64 -> GF2x64 #
Unbox GF2x64 Source #
Instance details Defined in Math.Linear.GF2
Vector Vector GF2x64 Source #
Instance details Defined in Math.Linear.GF2 Methods basicUnsafeFreeze :: Mutable Vector s GF2x64 -> ST s (Vector GF2x64) basicUnsafeThaw :: Vector GF2x64 -> ST s (Mutable Vector s GF2x64) basicLength :: Vector GF2x64 -> Int basicUnsafeSlice :: Int -> Int -> Vector GF2x64 -> Vector GF2x64 basicUnsafeIndexM :: Vector GF2x64 -> Int -> Box GF2x64 basicUnsafeCopy :: Mutable Vector s GF2x64 -> Vector GF2x64 -> ST s () elemseq :: Vector GF2x64 -> GF2x64 -> b -> b
MVector MVector GF2x64 Source #
Instance details Defined in Math.Linear.GF2 Methods basicLength :: MVector s GF2x64 -> Int basicUnsafeSlice :: Int -> Int -> MVector s GF2x64 -> MVector s GF2x64 basicOverlaps :: MVector s GF2x64 -> MVector s GF2x64 -> Bool basicUnsafeNew :: Int -> ST s (MVector s GF2x64) basicInitialize :: MVector s GF2x64 -> ST s () basicUnsafeReplicate :: Int -> GF2x64 -> ST s (MVector s GF2x64) basicUnsafeRead :: MVector s GF2x64 -> Int -> ST s GF2x64 basicUnsafeWrite :: MVector s GF2x64 -> Int -> GF2x64 -> ST s () basicClear :: MVector s GF2x64 -> ST s () basicSet :: MVector s GF2x64 -> GF2x64 -> ST s () basicUnsafeCopy :: MVector s GF2x64 -> MVector s GF2x64 -> ST s () basicUnsafeMove :: MVector s GF2x64 -> MVector s GF2x64 -> ST s () basicUnsafeGrow :: MVector s GF2x64 -> Int -> ST s (MVector s GF2x64)
newtype Vector GF2x64 Source #
Instance details Defined in Math.Linear.GF2 newtype Vector GF2x64 = V_GF2x64 (Vector Word)
newtype MVector s GF2x64 Source #
Instance details Defined in Math.Linear.GF2 newtype MVector s GF2x64 = MV_GF2x64 (MVector s Word)

newtype GF2x64' Source #

subspace of \(GF(2)^{64}\)

Constructors

GF2x64'
Fields basisGF2x64' :: Vector GF2x64

Instances

Instances details

IsList GF2x64' Source #
Instance details Defined in Math.Linear.GF2 Associated Types type Item GF2x64' # Methods fromList :: [Item GF2x64'] -> GF2x64' # fromListN :: Int -> [Item GF2x64'] -> GF2x64' # toList :: GF2x64' -> [Item GF2x64'] #
Show GF2x64' Source #
Instance details Defined in Math.Linear.GF2 Methods showsPrec :: Int -> GF2x64' -> ShowS # show :: GF2x64' -> String # showList :: [GF2x64'] -> ShowS #
Eq GF2x64' Source #
Instance details Defined in Math.Linear.GF2 Methods (==) :: GF2x64' -> GF2x64' -> Bool # (/=) :: GF2x64' -> GF2x64' -> Bool #
type Item GF2x64' Source #
Instance details Defined in Math.Linear.GF2 type Item GF2x64' = GF2x64

zeroGF2x64' :: GF2x64' Source #

rankGF2x64' :: GF2x64' -> Int Source #

O(1)

inGF2x64' :: GF2x64 -> GF2x64' -> Bool Source #

O(d)

insertGF2x64' :: GF2x64 -> GF2x64' -> GF2x64' Source #

O(d)

spanGF2x64' :: Vector GF2x64 -> GF2x64' Source #

O(dN)

componentsGF2x64' :: GF2x64' -> GF2x64 -> GF2x64 Source #

O(d)

linCombGF2x64' :: GF2x64' -> GF2x64 -> GF2x64 Source #

O(d)