Struct num_modular::PreInv

pub struct PreInv<T> { /* private fields */ }

Pre-computation for fast divisibility check.

This struct stores the modular inverse of a divisor, and a limit for divisibility check. See https://math.stackexchange.com/a/1251328 for the explanation of the trick

Implementations

impl PreInv<u8>

pub const fn new(d_inv: u8, q_lim: u8) -> Self

Construct the preinv instance with raw values.

This function can be used to initialize preinv in a constant context, the divisor d is required only for verification of d_inv and q_lim.

impl PreInv<u16>

pub const fn new(d_inv: u16, q_lim: u16) -> Self

Construct the preinv instance with raw values.

This function can be used to initialize preinv in a constant context, the divisor d is required only for verification of d_inv and q_lim.

impl PreInv<u32>

pub const fn new(d_inv: u32, q_lim: u32) -> Self

Construct the preinv instance with raw values.

This function can be used to initialize preinv in a constant context, the divisor d is required only for verification of d_inv and q_lim.

impl PreInv<u64>

pub const fn new(d_inv: u64, q_lim: u64) -> Self

Construct the preinv instance with raw values.

This function can be used to initialize preinv in a constant context, the divisor d is required only for verification of d_inv and q_lim.

Trait Implementations

impl<T: Clone> Clone for PreInv<T>

fn clone(&self) -> PreInv<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for PreInv<T>

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

Formats the value using the given formatter.

impl DivExact<u16, PreInv<u16>> for u16

type Output = u16

fn div_exact(self, d: u16, pre: &PreInv<u16>) -> Option<Self>

Check if d divides self with the help of the precomputation. If d divides self, then the quotient is returned.

impl DivExact<u16, PreInv<u16>> for u32

type Output = u32

fn div_exact(self, d: u16, pre: &PreInv<u16>) -> Option<u32>

Check if d divides self with the help of the precomputation. If d divides self, then the quotient is returned.

impl DivExact<u32, PreInv<u32>> for u32

type Output = u32

fn div_exact(self, d: u32, pre: &PreInv<u32>) -> Option<Self>

Check if d divides self with the help of the precomputation. If d divides self, then the quotient is returned.

impl DivExact<u32, PreInv<u32>> for u64

type Output = u64

fn div_exact(self, d: u32, pre: &PreInv<u32>) -> Option<u64>

Check if d divides self with the help of the precomputation. If d divides self, then the quotient is returned.

impl DivExact<u64, PreInv<u64>> for u64

type Output = u64

fn div_exact(self, d: u64, pre: &PreInv<u64>) -> Option<Self>

Check if d divides self with the help of the precomputation. If d divides self, then the quotient is returned.

impl DivExact<u64, PreInv<u64>> for u128

type Output = u128

fn div_exact(self, d: u64, pre: &PreInv<u64>) -> Option<u128>

Check if d divides self with the help of the precomputation. If d divides self, then the quotient is returned.

impl DivExact<u8, PreInv<u8>> for u8

type Output = u8

fn div_exact(self, d: u8, pre: &PreInv<u8>) -> Option<Self>

Check if d divides self with the help of the precomputation. If d divides self, then the quotient is returned.

impl DivExact<u8, PreInv<u8>> for u16

type Output = u16

fn div_exact(self, d: u8, pre: &PreInv<u8>) -> Option<u16>

Check if d divides self with the help of the precomputation. If d divides self, then the quotient is returned.

impl From<u16> for PreInv<u16>

fn from(v: u16) -> Self

Converts to this type from the input type.

impl From<u32> for PreInv<u32>

fn from(v: u32) -> Self

Converts to this type from the input type.

impl From<u64> for PreInv<u64>

fn from(v: u64) -> Self

Converts to this type from the input type.

impl From<u8> for PreInv<u8>

fn from(v: u8) -> Self

Converts to this type from the input type.

impl<T: Copy> Copy for PreInv<T>