Crypto.Lol.Types.ZPP

A class for integers mod a prime power.

Documentation

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

Represents integers modulo a prime power.

Associated Types

type ZpOf zq

An implementation of the integers modulo the prime base.

Methods

modulusZPP :: Tagged zq PP

The prime and exponent of the modulus.

liftZp :: ZpOf zq -> zq

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)