lol-0.2.0.0: A library for lattice cryptography.

Safe HaskellNone
LanguageHaskell2010

Crypto.Lol.Types.ZPP

Description

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.

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, Ring (ZpOf zq)) => ZPP (ZqBasic PrimePower pp z) Source