Crypto.Lol.Types.RRq

An implementation of the additive quotient group RR/qZ, where RR denotes the real numbers.

Documentation

data RRq q r

The ring RR_q of reals modulo q, using underlying floating type r.

Instances

Unbox r => Vector Vector (RRq k q r)

Unbox r => MVector MVector (RRq k q r)

(Reflects k q r, RealField r, Additive (RRq k q r)) => Reduce r (RRq k q r)

(Fact m, Reflects k q Double) => Protoable (CT m (RRq k q Double))

(Fact m, Reflects k q Double) => Protoable (RT m (RRq k q Double))

Eq r => Eq (RRq k q r)

Ord r => Ord (RRq k q r)

Show r => Show (RRq k q r)

Storable r => Storable (RRq k q r)

NFData r => NFData (RRq k q r)

C r => C (RRq k q r)

(Reflects k q r, RealField r, Ord r) => C (RRq k q r)

Elt r => Elt (RRq k q r)

Unbox r => Unbox (RRq k q r)

(Reflects k q r, Reduce r (RRq k q r), Ord r, Ring r) => Lift' (RRq k q r)

(ToInteger i, RealField r, Reflects k q i, Reflects k q r) => Subgroup (ZqBasic k q i) (RRq k q r)

data MVector s (RRq k q r) = MV_RRq (MVector s r)

type ProtoType (CT m (RRq k q Double)) = Kq

type ProtoType (RT m (RRq k q Double)) = Kq

data Vector (RRq k q r) = V_RRq (Vector r)

type LiftOf (RRq k q r) = r