Trait ModularInteger

pub trait ModularInteger:
    Sized
    + PartialEq
    + Add<Self, Output = Self>
    + Sub<Self, Output = Self>
    + Neg<Output = Self>
    + Mul<Self, Output = Self> {
    type Base;

    // Required methods
    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

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

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

type Base = T