| 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 |
Crypto.Lol.Tests.CycTests
Description
Tests for the Cyc interface.
- cycTests1 :: forall t m r. _ => Proxy '(m, r) -> Proxy t -> Test
- cycTests2 :: forall t m m' r. _ => Proxy '(m, m', r) -> Proxy t -> Test
- prop_mulgPow :: _ => Cyc t m r -> Test '(t, m, r)
- prop_mulgDec :: _ => Cyc t m r -> Test '(t, m, r)
- prop_mulgCRT :: _ => Cyc t m r -> Test '(t, m, r)
- prop_coeffsBasis :: forall t m m' r. _ => Cyc t m' r -> Test '(t, m, m', r)
- prop_crtSet_pairs :: forall t m m' r. (CElt t r, Fact m', _) => Test '(t, m, m', r)
Documentation
cycTests1 :: forall t m r. _ => Proxy '(m, r) -> Proxy t -> Test Source #
Tests for single-index operations. There must be a CRT basis for \(O_m\) over r.
cycTests2 :: forall t m m' r. _ => Proxy '(m, m', r) -> Proxy t -> Test Source #
Tests for inter-ring operations. There must be a CRT basis for \(O_{m'}\) over r.
prop_mulgPow :: _ => Cyc t m r -> Test '(t, m, r) Source #
prop_mulgDec :: _ => Cyc t m r -> Test '(t, m, r) Source #
prop_mulgCRT :: _ => Cyc t m r -> Test '(t, m, r) Source #
prop_coeffsBasis :: forall t m m' r. _ => Cyc t m' r -> Test '(t, m, m', r) Source #