Struct Context 

pub struct Context<U> { /* private fields */ }

Storage of parameters for Montgomery multiplication.

Implementations

impl<U> Context<U>

pub const fn modulus(&self) -> &U

impl Context<u64>

pub const fn new(n: u64) -> Self

Calculates some parameters for Montgomery multiplication.

Panics

• modulus n should be an odd number.

pub const fn modulo(&self, x: u64) -> Modulo<'_, u64>

pub const fn can_divide(&self, x: u64) -> bool

Checks whether x is multiple of self.

Example

use lib_modulo::Context;

for n in (1..1 << 10).step_by(2) {
let ctx = Context::<u64>::new(n);

    (0..1 << 10).for_each(|k| assert!(ctx.can_divide(n * k)));
}

impl Context<u32>

pub const fn new(n: u32) -> Self

Calculates some parameters for Montgomery multiplication.

Panics

• modulus n should be an odd number.

pub const fn modulo(&self, x: u32) -> Modulo<'_, u32>

pub const fn can_divide(&self, x: u32) -> bool

Checks whether x is multiple of self.

Example

use lib_modulo::Context;

for n in (1..1 << 10).step_by(2) {
let ctx = Context::<u32>::new(n);

    (0..1 << 10).for_each(|k| assert!(ctx.can_divide(n * k)));
}

Trait Implementations

impl<U: Clone> Clone for Context<U>

fn clone(&self) -> Context<U>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<U: Debug> Debug for Context<U>

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

Formats the value using the given formatter.

impl<U: Hash> Hash for Context<U>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<U: PartialEq> PartialEq for Context<U>

fn eq(&self, other: &Context<U>) -> 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<U: Eq> Eq for Context<U>

impl<U> StructuralPartialEq for Context<U>