Unbox z => Vector Vector (ZqBasic k q z) Source # | |
|
Unbox z => MVector MVector (ZqBasic k q z) Source # | |
|
(Reflects k q z, ToInteger z, Additive (ZqBasic k q z)) => Reduce Integer (ZqBasic k q z) Source # | |
|
(Reflects k q z, ToInteger z) => Reduce z (ZqBasic k q z) Source # | |
|
(Reflects k q z, ToInteger z, PID z, Enumerable (ZqBasic k q z)) => CRTrans Maybe (ZqBasic k q z) Source # | |
|
(Reflects k q z, ToInteger z, Ring z) => Correct * TrivGad (ZqBasic k q z) Source # | |
|
(Reflects k q z, ToInteger z) => Decompose * TrivGad (ZqBasic k q z) Source # | |
|
(Reflects k q z, ToInteger z) => Gadget * TrivGad (ZqBasic k q z) Source # | |
|
(Reflects k1 q z, ToInteger z, Reflects k b z) => Correct * (BaseBGad k b) (ZqBasic k1 q z) Source # | |
|
(Reflects k1 q z, ToInteger z, Reflects k b z) => Decompose * (BaseBGad k b) (ZqBasic k1 q z) Source # | |
|
(Reflects k1 q z, ToInteger z, RealIntegral z, Reflects k b z) => Gadget * (BaseBGad k b) (ZqBasic k1 q z) Source # | |
|
(Fact m, Reflects k q Int64) => Protoable (CT m (ZqBasic k q Int64)) Source # | |
|
(Fact m, Reflects k q Int64) => Protoable (RT m (ZqBasic k q Int64)) Source # | |
|
Eq z => Eq (ZqBasic k q z) Source # | |
|
Ord z => Ord (ZqBasic k q z) Source # | |
|
Show z => Show (ZqBasic k q z) Source # | |
|
(Reflects k q z, ToInteger z, Random z) => Random (ZqBasic k q z) Source # | |
|
(Reflects k q z, ToInteger z, Random z) => Arbitrary (ZqBasic k q z) Source # | |
|
Storable z => Storable (ZqBasic k q z) Source # | |
|
NFData z => NFData (ZqBasic k q z) Source # | |
|
(Reflects k q z, ToInteger z, PID z, Show z) => C (ZqBasic k q z) Source # | |
|
(Reflects k q z, ToInteger z, Field (ZqBasic k q z)) => C (ZqBasic k q z) Source # | |
|
(Reflects k q z, ToInteger z, Ring z) => C (ZqBasic k q z) Source # | |
|
C z => C (ZqBasic k q z) Source # | |
|
(Reflects k q z, ToInteger z, Additive z) => C (ZqBasic k q z) Source # | |
|
Elt z => Elt (ZqBasic k q z) Source # | |
|
Unbox z => Unbox (ZqBasic k q z) Source # | |
|
(Reflects k q z, ToInteger z) => Lift' (ZqBasic k q z) Source # | |
|
(Reflects k q z, ToInteger z) => Mod (ZqBasic k q z) Source # | |
|
(Reflects k q z, ToInteger z, Enum z) => Enumerable (ZqBasic k q z) Source # | |
|
(Reflects k q z, ToInteger z, Ring (ZqBasic k q z)) => CRTEmbed (ZqBasic k q z) Source # | Embeds into the complex numbers \( \C \). |
|
(PPow pp, (~) * zq (ZqBasic PrimePower pp z), PrimeField (ZpOf zq), Ring zq) => ZPP (ZqBasic PrimePower pp z) Source # | |
|
(Reflects k p z, Reflects k1 q z, ToInteger z, Field (ZqBasic k1 q z), Field (ZqBasic k p z)) => Encode (ZqBasic k p z) (ZqBasic k1 q z) Source # | |
|
(Reflects k q z, ToInteger z, Reflects k1 q' z, Ring z) => Rescale (ZqBasic k q z) (ZqBasic k1 q' z) Source # | |
|
(ToInteger i, RealField r, Reflects k q i, Reflects k q r) => Subgroup (ZqBasic k q i) (RRq k q r) Source # | |
|
data MVector s (ZqBasic k q z) Source # | |
|
type CharOf k (ZqBasic k p z) Source # | |
|
type ProtoType (CT m (ZqBasic k q Int64)) Source # | |
|
type ProtoType (RT m (ZqBasic k q Int64)) Source # | |
|
data Vector (ZqBasic k q z) Source # | |
|
type LiftOf (ZqBasic k q z) Source # | |
|
type ModRep (ZqBasic k q z) Source # | |
|
type CRTExt (ZqBasic k q z) Source # | |
|
type ZpOf (ZqBasic PrimePower pp z) Source # | |
|
type DecompOf (ZqBasic k q z) Source # | |
|
type DecompOf (ZqBasic k q z) Source # | |
|