Safe Haskell	None
Language	Haskell2010

BinaryField

Synopsis

data BinaryField (im :: Nat)

Documentation

data BinaryField (im :: Nat) Source #

Binary fields GF(2^q)[X]/<f(X)> for q positive and f(X) irreducible monic in GF(2^q)[X] encoded as an integer.

Instances

Eq (BinaryField im) Source #
Instance details Defined in BinaryField Methods (==) :: BinaryField im -> BinaryField im -> Bool # (/=) :: BinaryField im -> BinaryField im -> Bool #
KnownNat im => Fractional (BinaryField im) Source #
Instance details Defined in BinaryField Methods (/) :: BinaryField im -> BinaryField im -> BinaryField im # recip :: BinaryField im -> BinaryField im # fromRational :: Rational -> BinaryField im #
KnownNat im => Num (BinaryField im) Source #
Instance details Defined in BinaryField Methods (+) :: BinaryField im -> BinaryField im -> BinaryField im # (-) :: BinaryField im -> BinaryField im -> BinaryField im # (*) :: BinaryField im -> BinaryField im -> BinaryField im # negate :: BinaryField im -> BinaryField im # abs :: BinaryField im -> BinaryField im # signum :: BinaryField im -> BinaryField im # fromInteger :: Integer -> BinaryField im #
Ord (BinaryField im) Source #
Instance details Defined in BinaryField Methods compare :: BinaryField im -> BinaryField im -> Ordering # (<) :: BinaryField im -> BinaryField im -> Bool # (<=) :: BinaryField im -> BinaryField im -> Bool # (>) :: BinaryField im -> BinaryField im -> Bool # (>=) :: BinaryField im -> BinaryField im -> Bool # max :: BinaryField im -> BinaryField im -> BinaryField im # min :: BinaryField im -> BinaryField im -> BinaryField im #
Show (BinaryField im) Source #
Instance details Defined in BinaryField Methods showsPrec :: Int -> BinaryField im -> ShowS # show :: BinaryField im -> String # showList :: [BinaryField im] -> ShowS #
Generic (BinaryField im) Source #
Instance details Defined in BinaryField Associated Types type Rep (BinaryField im) :: Type -> Type # Methods from :: BinaryField im -> Rep (BinaryField im) x # to :: Rep (BinaryField im) x -> BinaryField im #
KnownNat im => Random (BinaryField im) Source #
Instance details Defined in BinaryField Methods randomR :: RandomGen g => (BinaryField im, BinaryField im) -> g -> (BinaryField im, g) # random :: RandomGen g => g -> (BinaryField im, g) # randomRs :: RandomGen g => (BinaryField im, BinaryField im) -> g -> [BinaryField im] # randoms :: RandomGen g => g -> [BinaryField im] # randomRIO :: (BinaryField im, BinaryField im) -> IO (BinaryField im) # randomIO :: IO (BinaryField im) #
KnownNat im => Arbitrary (BinaryField im) Source #
Instance details Defined in BinaryField Methods arbitrary :: Gen (BinaryField im) # shrink :: BinaryField im -> [BinaryField im] #
KnownNat im => GcdDomain (BinaryField im) Source #
Instance details Defined in BinaryField Methods divide :: BinaryField im -> BinaryField im -> Maybe (BinaryField im) # gcd :: BinaryField im -> BinaryField im -> BinaryField im # lcm :: BinaryField im -> BinaryField im -> BinaryField im # coprime :: BinaryField im -> BinaryField im -> Bool #
KnownNat im => Euclidean (BinaryField im) Source #
Instance details Defined in BinaryField Methods quotRem :: BinaryField im -> BinaryField im -> (BinaryField im, BinaryField im) # quot :: BinaryField im -> BinaryField im -> BinaryField im # rem :: BinaryField im -> BinaryField im -> BinaryField im # degree :: BinaryField im -> Natural #
KnownNat im => Semiring (BinaryField im) Source #
Instance details Defined in BinaryField Methods plus :: BinaryField im -> BinaryField im -> BinaryField im # zero :: BinaryField im # times :: BinaryField im -> BinaryField im -> BinaryField im # one :: BinaryField im # fromNatural :: Natural -> BinaryField im #
KnownNat im => Ring (BinaryField im) Source #
Instance details Defined in BinaryField Methods negate :: BinaryField im -> BinaryField im #
KnownNat im => Pretty (BinaryField im) Source #
Instance details Defined in BinaryField Methods pretty :: BinaryField im -> Doc # prettyList :: [BinaryField im] -> Doc #
KnownNat im => GaloisField (BinaryField im) Source #
Instance details Defined in BinaryField Methods char :: BinaryField im -> Integer Source # deg :: BinaryField im -> Int Source # order :: BinaryField im -> Integer Source # frob :: BinaryField im -> BinaryField im Source # pow :: BinaryField im -> Integer -> BinaryField im Source # qnr :: BinaryField im Source # qr :: BinaryField im -> Bool Source # quad :: BinaryField im -> BinaryField im -> BinaryField im -> Maybe (BinaryField im) Source # rnd :: MonadRandom m => m (BinaryField im) Source # sr :: BinaryField im -> Maybe (BinaryField im) Source #
KnownNat im => Field (BinaryField im) Source #
Instance details Defined in BinaryField Methods divide :: BinaryField im -> BinaryField im -> BinaryField im Source # invert :: BinaryField im -> BinaryField im Source # minus :: BinaryField im -> BinaryField im -> BinaryField im Source #
type Rep (BinaryField im) Source #
Instance details Defined in BinaryField type Rep (BinaryField im) = D1 (MetaData "BinaryField" "BinaryField" "galois-field-0.4.1-72GMlu0ozffBaDuNcNWRQD" True) (C1 (MetaCons "BF" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))