Type Alias VanillaInt

pub type VanillaInt<T> = ReducedInt<T, Vanilla<T>>;

An integer in modulo ring based on conventional Rem operations

Aliased Type

struct VanillaInt<T> { /* private fields */ }

Implementations

impl<T, R: Reducer<T>> ReducedInt<T, R>

pub fn new(n: T, m: &T) -> Self

Convert n into the modulo ring ℤ/mℤ (i.e. n % m)

pub fn repr(&self) -> &T

pub fn inv(self) -> Option<Self>

pub fn pow(self, exp: &T) -> Self

Trait Implementations

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

type Output = ReducedInt<T, R>

The resulting type after applying the + operator.

fn add(self, rhs: &Self) -> Self::Output

Performs the + operation.

impl<T: PartialEq, R: Reducer<T>> Add<T> for ReducedInt<T, R>

type Output = ReducedInt<T, R>

The resulting type after applying the + operator.

fn add(self, rhs: T) -> Self::Output

Performs the + operation.

impl<T: PartialEq, R: Reducer<T>> Add for ReducedInt<T, R>

type Output = ReducedInt<T, R>

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self::Output

Performs the + operation.

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

fn clone(&self) -> ReducedInt<T, R>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug, R: Debug + Reducer<T>> Debug for ReducedInt<T, R>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

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

type Output = ReducedInt<T, R>

The resulting type after applying the / operator.

fn div(self, rhs: &Self) -> Self::Output

Performs the / operation.

impl<T: PartialEq, R: Reducer<T>> Div for ReducedInt<T, R>

type Output = ReducedInt<T, R>

The resulting type after applying the / operator.

fn div(self, rhs: Self) -> Self::Output

Performs the / operation.

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

type Base = T

The underlying representation type of the integer

fn modulus(&self) -> T

Return the modulus of the ring

fn residue(&self) -> T

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: T) -> Self

Convert an normal integer into the same ring.

fn double(self) -> Self

Calculate the value of self + self

fn square(self) -> Self

Calculate the value of self * self

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

type Output = ReducedInt<T, R>

The resulting type after applying the * operator.

fn mul(self, rhs: &Self) -> Self::Output

Performs the * operation.

impl<T: PartialEq, R: Reducer<T>> Mul<T> for ReducedInt<T, R>

type Output = ReducedInt<T, R>

The resulting type after applying the * operator.

fn mul(self, rhs: T) -> Self::Output

Performs the * operation.

impl<T: PartialEq, R: Reducer<T>> Mul for ReducedInt<T, R>

type Output = ReducedInt<T, R>

The resulting type after applying the * operator.

fn mul(self, rhs: Self) -> Self::Output

Performs the * operation.

impl<T: PartialEq, R: Reducer<T>> Neg for ReducedInt<T, R>

type Output = ReducedInt<T, R>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl<T: PartialEq, R: Reducer<T>> PartialEq for ReducedInt<T, R>

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

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

type Output = ReducedInt<T, R>

The resulting type after applying the - operator.

fn sub(self, rhs: &Self) -> Self::Output

Performs the - operation.

impl<T: PartialEq, R: Reducer<T>> Sub<T> for ReducedInt<T, R>

type Output = ReducedInt<T, R>

The resulting type after applying the - operator.

fn sub(self, rhs: T) -> Self::Output

Performs the - operation.

impl<T: PartialEq, R: Reducer<T>> Sub for ReducedInt<T, R>

type Output = ReducedInt<T, R>

The resulting type after applying the - operator.

fn sub(self, rhs: Self) -> Self::Output

Performs the - operation.

impl<T: Copy, R: Copy + Reducer<T>> Copy for ReducedInt<T, R>