Copyright | (c) Eric Crockett 2011-2017 Chris Peikert 2011-2017 |
---|---|
License | GPL-2 |
Maintainer | ecrockett0@email.com |
Stability | experimental |
Portability | POSIX |
Safe Haskell | None |
Language | Haskell2010 |
Tests for modular arithmetic.
- zqTests :: _ => Proxy r -> Test
- prop_add :: forall r. (Ring r, Eq r) => LiftedMod r -> LiftedMod r -> Test r
- prop_mul :: forall r. (Ring r, Eq r) => LiftedInvertible r -> LiftedInvertible r -> Test r
- prop_recip :: (Field r, Eq r) => Invertible r -> Test r
- prop_mul_ext :: (CRTEmbed r, Eq r) => Invertible r -> Invertible r -> Test r
- data LiftedMod r where
- data LiftedInvertible r where
- LInv :: ToInteger (ModRep r) => ModRep r -> LiftedInvertible r
- newtype Invertible r = Invertible r
Documentation
prop_mul :: forall r. (Ring r, Eq r) => LiftedInvertible r -> LiftedInvertible r -> Test r Source #
prop_recip :: (Field r, Eq r) => Invertible r -> Test r Source #
prop_mul_ext :: (CRTEmbed r, Eq r) => Invertible r -> Invertible r -> Test r Source #
data LiftedInvertible r where Source #
LInv :: ToInteger (ModRep r) => ModRep r -> LiftedInvertible r |
newtype Invertible r Source #
(Random (LiftedInvertible r), Ring r, ToInteger (ModRep r)) => Random (Invertible r) Source # | |