Math.Algebra.Field.Instances

Some important instances like Random and Bounded are missing from HaskellForMath's implementation of finite fiels. Here, orphan instances for these classes are added.

Orphan instances

IntegerAsType p => Bounded (Fp p)

Methods

minBound :: Fp p

maxBound :: Fp p

IntegerAsType p => Random (Fp p)

Methods

randomR :: RandomGen g => (Fp p, Fp p) -> g -> (Fp p, g)

random :: RandomGen g => g -> (Fp p, g)

randomRs :: RandomGen g => (Fp p, Fp p) -> g -> [Fp p]

randoms :: RandomGen g => g -> [Fp p]

randomRIO :: (Fp p, Fp p) -> IO (Fp p)

randomIO :: IO (Fp p)

(FinSet fp, Eq fp, Num fp, PolynomialAsType fp poly) => Bounded (ExtensionField fp poly)

Methods

minBound :: ExtensionField fp poly

maxBound :: ExtensionField fp poly

(FinSet fp, Ord fp, Num fp, PolynomialAsType fp poly) => Random (ExtensionField fp poly)

Methods

randomR :: RandomGen g => (ExtensionField fp poly, ExtensionField fp poly) -> g -> (ExtensionField fp poly, g)

random :: RandomGen g => g -> (ExtensionField fp poly, g)

randomRs :: RandomGen g => (ExtensionField fp poly, ExtensionField fp poly) -> g -> [ExtensionField fp poly]

randoms :: RandomGen g => g -> [ExtensionField fp poly]

randomRIO :: (ExtensionField fp poly, ExtensionField fp poly) -> IO (ExtensionField fp poly)

randomIO :: IO (ExtensionField fp poly)