Crypto.Lol.Cyclotomic.RescaleCyc

\( \def\Z{\mathbb{Z}} \)

A class and helper functions for rescaling cycltomic ring elements.

Documentation

data Basis

Represents the basis used to rescale a cyclotomic ring element.

Constructors

Pow

Dec

class RescaleCyc c a b where

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

Minimal complete definition

rescaleCyc

Methods

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

Rescale in the given basis.

Instances

(Rescale a b, CElt t a, TElt t b) => RescaleCyc (Cyc t) a b

Methods

rescaleCyc :: Fact m => Basis -> Cyc t m a -> Cyc t m b

(Mod a, Field b, Lift a (ModRep a), Reduce (LiftOf a) b, CElt t (a, b), CElt t a, CElt t b, CElt t (LiftOf a)) => RescaleCyc (Cyc t) (a, b) b

specialized instance for product rings of \(\Z_q\)s: ~2x faster algorithm

Methods

rescaleCyc :: Fact m => Basis -> Cyc t m (a, b) -> Cyc t m b

rescalePow :: (RescaleCyc c a b, Fact m) => c m a -> c m b

Specialized convenience functions.

rescaleDec :: (RescaleCyc c a b, Fact m) => c m a -> c m b

Specialized convenience functions.