Crypto.Lol.Tests.TensorTests

Tests for the Tensor interface.

Documentation

tensorTests1 :: forall t m r. _ => Proxy '(m, r) -> Proxy t -> Test

Tests for single-index operations. There must be a CRT basis for \(O_m\) over r.

tensorTests2 :: forall t m m' r. _ => Proxy '(m, m', r) -> Proxy t -> Test

Tests for inter-ring operations. There must be a CRT basis for \(O_{m'}\) over r.

prop_fmapT :: _ => t m r -> Test '(t, m, r)

prop_fmap :: _ => t m r -> Test '(t, m, r)

prop_ginv_pow :: _ => t m r -> Test '(t, m, r)

prop_ginv_dec :: _ => t m r -> Test '(t, m, r)

prop_ginv_crt :: _ => t m r -> Test '(t, m, r)

prop_g_dec :: _ => t m r -> Test '(t, m, r)

prop_g_crt :: _ => t m r -> Test '(t, m, r)

prop_crt_inv :: _ => t m r -> Test '(t, m, r)

prop_l_inv :: _ => t m r -> Test '(t, m, r)

prop_scalar_crt :: forall t m r. (Tensor t, Fact m, _) => r -> Test '(t, m, r)

prop_trem_pow :: forall t m m' r. (Fact m, Fact m', _) => t m r -> Test '(t, m, m', r)

prop_trem_dec :: forall t m m' r. (Fact m, Fact m', _) => t m r -> Test '(t, m, m', r)

prop_trem_crt :: forall t m m' r. (Fact m, Fact m', _) => t m r -> Test '(t, m, m', r)

prop_embed_dec :: forall t m m' r. (Fact m, Fact m', _) => t m r -> Test '(t, m, m', r)

prop_embed_crt :: forall t m m' r. (Fact m, Fact m', _) => t m r -> Test '(t, m, m', r)

prop_twace_dec :: forall t m m' r. (Fact m, Fact m', _) => t m' r -> Test '(t, m, m', r)

prop_twace_crt :: forall t m m' r. (Fact m, Fact m', _) => t m' r -> Test '(t, m, m', r)

prop_twEmID :: forall t m r. _ => t m r -> Test '(t, m, r)

prop_twace_invar1_pow :: forall t m m' r. _ => Test '(t, m, m', r)

prop_twace_invar1_dec :: forall t m m' r. _ => Test '(t, m, m', r)

prop_twace_invar1_crt :: forall t m m' r. _ => Test '(t, m, m', r)

prop_twace_invar2_powdec :: forall t m m' r. (Tensor t, Fact m, Fact m', Ring r, _) => Test '(t, m, m', r)

prop_twace_invar2_crt :: forall t m m' r. (Tensor t, Fact m, Fact m', Ring r, _) => Test '(t, m, m', r)