Crypto.Lol.Types.ZqBasic

An implementation of modular arithmetic, i.e., the ring Zq.

Documentation

data ZqBasic q z

The ring Z_q of integers modulo q, using underlying integer type z.

Instances

(ReflectsTI k q z, Ring z) => Correct * TrivGad (ZqBasic k q z)

(ReflectsTI k q z, Ring z) => Decompose * TrivGad (ZqBasic k q z)

(ReflectsTI k q z, Additive z) => Gadget * TrivGad (ZqBasic k q z)

(ReflectsTI k1 q z, Ring z, Reflects k b z) => Correct * (BaseBGad k b) (ZqBasic k q z)

(ReflectsTI k1 q z, Ring z, ZeroTestable z, Reflects k b z) => Decompose * (BaseBGad k b) (ZqBasic k q z)

(ReflectsTI k1 q z, RealIntegral z, Reflects k b z) => Gadget * (BaseBGad k b) (ZqBasic k q z)

Unbox z => Vector Vector (ZqBasic k q z)

Unbox z => MVector MVector (ZqBasic k q z)

(Reflects k q z, Ring (ZqBasic k q z)) => Reduce Integer (ZqBasic k q z)

ReflectsTI k q z => Reduce z (ZqBasic k q z)

Eq z => Eq (ZqBasic k q z)

Ord z => Ord (ZqBasic k q z)

Show z => Show (ZqBasic k q z)

(ReflectsTI k q z, Random z) => Random (ZqBasic k q z)

(ReflectsTI k q z, Random z) => Arbitrary (ZqBasic k q z)

Storable z => Storable (ZqBasic k q z)

NFData z => NFData (ZqBasic k q z)

(ReflectsTI k q z, PID z, Show z) => C (ZqBasic k q z)

Field (ZqBasic k q z) => C (ZqBasic k q z)

(ReflectsTI k q z, Ring z) => C (ZqBasic k q z)

C z => C (ZqBasic k q z)

(ReflectsTI k q z, Additive z) => C (ZqBasic k q z)

Elt z => Elt (ZqBasic k q z)

Unbox z => Unbox (ZqBasic k q z)

ReflectsTI k q z => Lift' (ZqBasic k q z)

ReflectsTI k q z => Mod (ZqBasic k q z)

(ReflectsTI k q z, Enum z) => Enumerable (ZqBasic k q z)

(ReflectsTI k q z, Ring (ZqBasic k q z)) => CRTEmbed (ZqBasic k q z)

(ReflectsTI k q z, PID z, Enumerable (ZqBasic k q z)) => CRTrans (ZqBasic k q z)

(PPow pp, (~) * zq (ZqBasic PrimePower pp z), PrimeField (ZpOf zq), Ring zq, Ring (ZpOf zq)) => ZPP (ZqBasic PrimePower pp z)

(Reflects k p z, ReflectsTI k1 q z, Field (ZqBasic k p z), Field (ZqBasic k1 q z)) => Encode (ZqBasic k p z) (ZqBasic k q z)

(ReflectsTI k q z, ReflectsTI k1 q' z, Ring z) => Rescale (ZqBasic k q z) (ZqBasic k q' z)

data MVector s (ZqBasic k q z) = MV_ZqBasic (MVector s z)

type CharOf k (ZqBasic k p z) = p

data Vector (ZqBasic k q z) = V_ZqBasic (Vector z)

type LiftOf (ZqBasic k q z) = z

type ModRep (ZqBasic k q z) = z

type CRTExt (ZqBasic k q z) = Complex Double

type ZpOf (ZqBasic PrimePower pp z) = ZqBasic Prime (PrimePP pp) z

type DecompOf (ZqBasic k q z) = z

type DecompOf (ZqBasic k q z) = z