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 is_zero(&self) -> bool;
    fn convert(&self, n: Self::Base) -> Self;
    fn double(self) -> Self;
    fn square(self) -> Self;
}

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

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

Required 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 is_zero(&self) -> bool

Check if the integer is zero

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.

fn double(self) -> Self

Calculate the value of self + self

fn square(self) -> Self

Calculate the value of self * self

Implementors

impl<T: PartialEq + Clone, R: Reducer<T> + Clone> ModularInteger for ReducedInt<T, R>

type Base = T