Struct PreModInv

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

Pre-computing the modular inverse 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 PreModInv<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 PreModInv<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 PreModInv<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 PreModInv<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.

impl PreModInv<usize>

pub const fn new(d_inv: usize, q_lim: usize) -> 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 PreModInv<T>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for PreModInv<T>

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

Formats the value using the given formatter.

impl DivExact<u16, PreModInv<u16>> for u16

type Output = u16

fn div_exact(self, d: u16, pre: &PreModInv<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, PreModInv<u16>> for u32

type Output = u32

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

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

impl DivExact<u32, PreModInv<u32>> for u32

type Output = u32

fn div_exact(self, d: u32, pre: &PreModInv<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, PreModInv<u32>> for u64

type Output = u64

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

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

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

type Output = u128

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

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

impl DivExact<u64, PreModInv<u64>> for u64

type Output = u64

fn div_exact(self, d: u64, pre: &PreModInv<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<u8, PreModInv<u8>> for u16

type Output = u16

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

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

impl DivExact<u8, PreModInv<u8>> for u8

type Output = u8

fn div_exact(self, d: u8, pre: &PreModInv<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<usize, PreModInv<usize>> for u128

type Output = u128

fn div_exact(self, d: usize, pre: &PreModInv<usize>) -> Option<Self::Output>

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

impl DivExact<usize, PreModInv<usize>> for usize

type Output = usize

fn div_exact(self, d: usize, pre: &PreModInv<usize>) -> Option<Self>

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

impl From<u16> for PreModInv<u16>

fn from(v: u16) -> Self

Converts to this type from the input type.

impl From<u32> for PreModInv<u32>

fn from(v: u32) -> Self

Converts to this type from the input type.

impl From<u64> for PreModInv<u64>

fn from(v: u64) -> Self

Converts to this type from the input type.

impl From<u8> for PreModInv<u8>

fn from(v: u8) -> Self

Converts to this type from the input type.

impl From<usize> for PreModInv<usize>

fn from(v: usize) -> Self

Converts to this type from the input type.

impl<T: Copy> Copy for PreModInv<T>