lol-0.0.1.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, Ring (ZPOf 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