Trait ModPowerOf2AbsSquared 

pub trait ModPowerOf2AbsSquared {
    type Output;

    // Required method
    fn mod_power_of_2_abs_squared(self, pow: u64) -> Self::Output;
}

Computes the squared absolute value of a number modulo $2^k$. The input must be already reduced modulo $2^k$.

For a real number this is its square modulo $2^k$; the trait exists for the types where it is not, such as complex numbers and vectors, for which it is the reduced sum of squares.

Required Associated Types

type Output

Required Methods

fn mod_power_of_2_abs_squared(self, pow: u64) -> Self::Output

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl ModPowerOf2AbsSquared for u8

fn mod_power_of_2_abs_squared(self, pow: u64) -> u8

Computes the squared absolute value of a number modulo $2^k$, which for an unsigned number is its square modulo $2^k$. The input must be already reduced modulo $2^k$.

$f(x, k) = y$, where $x, y < 2^k$ and $|x|^2 = x^2 \equiv y \mod 2^k$.

Worst-case complexity

Constant time and additional memory.

Panics

Panics if pow is greater than Self::WIDTH or if self is greater than or equal to $2^k$.

Examples

See here.

type Output = u8

impl ModPowerOf2AbsSquared for u16

fn mod_power_of_2_abs_squared(self, pow: u64) -> u16

Computes the squared absolute value of a number modulo $2^k$, which for an unsigned number is its square modulo $2^k$. The input must be already reduced modulo $2^k$.

$f(x, k) = y$, where $x, y < 2^k$ and $|x|^2 = x^2 \equiv y \mod 2^k$.

Worst-case complexity

Constant time and additional memory.

Panics

Panics if pow is greater than Self::WIDTH or if self is greater than or equal to $2^k$.

Examples

See here.

type Output = u16

impl ModPowerOf2AbsSquared for u32

fn mod_power_of_2_abs_squared(self, pow: u64) -> u32

Computes the squared absolute value of a number modulo $2^k$, which for an unsigned number is its square modulo $2^k$. The input must be already reduced modulo $2^k$.

$f(x, k) = y$, where $x, y < 2^k$ and $|x|^2 = x^2 \equiv y \mod 2^k$.

Worst-case complexity

Constant time and additional memory.

Panics

Panics if pow is greater than Self::WIDTH or if self is greater than or equal to $2^k$.

Examples

See here.

type Output = u32

impl ModPowerOf2AbsSquared for u64

fn mod_power_of_2_abs_squared(self, pow: u64) -> u64

Computes the squared absolute value of a number modulo $2^k$, which for an unsigned number is its square modulo $2^k$. The input must be already reduced modulo $2^k$.

$f(x, k) = y$, where $x, y < 2^k$ and $|x|^2 = x^2 \equiv y \mod 2^k$.

Worst-case complexity

Constant time and additional memory.

Panics

Panics if pow is greater than Self::WIDTH or if self is greater than or equal to $2^k$.

Examples

See here.

type Output = u64

impl ModPowerOf2AbsSquared for u128

fn mod_power_of_2_abs_squared(self, pow: u64) -> u128

Computes the squared absolute value of a number modulo $2^k$, which for an unsigned number is its square modulo $2^k$. The input must be already reduced modulo $2^k$.

$f(x, k) = y$, where $x, y < 2^k$ and $|x|^2 = x^2 \equiv y \mod 2^k$.

Worst-case complexity

Constant time and additional memory.

Panics

Panics if pow is greater than Self::WIDTH or if self is greater than or equal to $2^k$.

Examples

See here.

type Output = u128

impl ModPowerOf2AbsSquared for usize

fn mod_power_of_2_abs_squared(self, pow: u64) -> usize

Computes the squared absolute value of a number modulo $2^k$, which for an unsigned number is its square modulo $2^k$. The input must be already reduced modulo $2^k$.

$f(x, k) = y$, where $x, y < 2^k$ and $|x|^2 = x^2 \equiv y \mod 2^k$.

Worst-case complexity

Constant time and additional memory.

Panics

Panics if pow is greater than Self::WIDTH or if self is greater than or equal to $2^k$.

Examples

See here.

type Output = usize

Implementors

impl<T: PrimitiveUnsigned> ModPowerOf2AbsSquared for &UnsignedVector<T>

type Output = T

impl<T: PrimitiveUnsigned> ModPowerOf2AbsSquared for UnsignedVector<T>

type Output = T