lol-0.4.0.0: A library for lattice cryptography.

Safe HaskellNone
LanguageHaskell2010

Crypto.Lol.Types.ZPP

Description

\( \def\Z{\mathbb{Z}} \) A class for integers mod a prime power.

Synopsis

Documentation

class (PrimeField (ZpOf zq), Ring zq) => ZPP zq where Source #

Represents integers modulo a prime power.

Minimal complete definition

modulusZPP, liftZp

Associated Types

type ZpOf zq Source #

An implementation of the integers modulo the prime base.

Methods

modulusZPP :: Tagged zq PP Source #

The prime and exponent of the modulus.

liftZp :: ZpOf zq -> zq Source #

Lift from \(\Z_p\) to a representative.

Instances

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

Associated Types

type ZpOf (ZqBasic PrimePower pp z) :: * Source #

Methods

modulusZPP :: Tagged * (ZqBasic PrimePower pp z) PP Source #

liftZp :: ZpOf (ZqBasic PrimePower pp z) -> ZqBasic PrimePower pp z Source #