Trait num_modular::ModularInteger

pub trait ModularInteger: Sized + PartialEq + Add<Self, Output = Self> + Sub<Self, Output = Self> + Neg<Output = Self> + Mul<Self, Output = Self> {
    type Base;
    fn modulus(&self) -> &Self::Base;
    fn residue(&self) -> Self::Base;
    fn convert(&self, n: Self::Base) -> Self;
}

Represents an number defined in a modulo ring ℤ/nℤ

The operators should panic if the modulus of two number are not the same.

Associated Types

type Base

The underlying representation type of the integer

Required methods

fn modulus(&self) -> &Self::Base

Return the modulus of the ring

fn residue(&self) -> Self::Base

Return the normalized residue of this integer in the ring

fn convert(&self, n: Self::Base) -> Self

Convert an normal integer into the same ring.

This method should be perferred over the static constructor to prevent unnecessary overhead of pre-computation.

Implementors

impl<T: Integer + Montgomery + Clone> ModularInteger for MontgomeryInt<T> where
    T::Double: From<T>,
    T::Inv: Clone, 

type Base = T

impl<const P: u8, const K: umax> ModularInteger for MersenneInt<P, K>

type Base = umax