Module constant_mod 

Implements Residues, supporting modular arithmetic with a constant modulus.

Re-exports

pub use macros::*;

Modules

const_add 🔒

Additions between residues with a constant modulus

const_inv 🔒

Multiplicative inverses of residues with a constant modulus

const_mul 🔒

Multiplications between residues with a constant modulus

const_neg 🔒

Negations of residues with a constant modulus

const_pow 🔒

Exponentiation of residues with a constant modulus

const_sub 🔒

Subtractions between residues with a constant modulus

macros 🔒

Macros to remove the boilerplate code when dealing with constant moduli.

Structs

Residue

A residue mod MOD, represented using LIMBS limbs. The modulus of this residue is constant, so it cannot be set at runtime. Internally, the value is stored in Montgomery form (multiplied by MOD::R) until it is retrieved.

Traits

ResidueParams

The parameters to efficiently go to and from the Montgomery form for a given odd modulus. An easy way to generate these parameters is using the impl_modulus! macro. These parameters are constant, so they cannot be set at runtime.