lol-0.0.1.0: A library for lattice cryptography.

Safe HaskellNone
LanguageHaskell2010

Crypto.Lol.Cyclotomic.Utility

Synopsis

Documentation

data Basis Source

Represents the powerful or decoding basis.

Constructors

Pow 
Dec 

Instances

class RescaleCyc c a b where Source

Represents cyclotomic rings that are rescalable over their base rings. (This is a class because it allows for more efficient specialized implementations.)

Methods

rescaleCyc :: Fact m => Basis -> c m a -> c m b Source

Rescale in the given basis.

Instances

(Rescale a b, CElt t a, CElt t b) => RescaleCyc (UCyc t) a b Source 
RescaleCyc (UCyc t) a b => RescaleCyc (Cyc t) a b Source 
(Mod a, Field b, Lift a z, Reduce z b, CElt t a, CElt t b, CElt t (a, b), CElt t z) => RescaleCyc (UCyc t) (a, b) b Source