Trait malachite_base::num::arithmetic::traits::NegModPowerOf2Assign

source · [−]
pub trait NegModPowerOf2Assign {
    fn neg_mod_power_of_2_assign(&mut self, other: u64);
}
Expand description

Divides the negative of a number by $2^k$, replacing the number by the remainder.

If the quotient were computed, the quotient and remainder would satisfy $x = q2^k - r$ and $0 \leq r < 2^k$.

Required Methods

Implementations on Foreign Types

Divides the negative of a number by $2^k$, returning just the remainder.

If the quotient were computed, the quotient and remainder would satisfy $x = q2^k - r$ and $0 \leq r < 2^k$.

$$ x \gets 2^k\left \lceil \frac{x}{2^k} \right \rceil - x. $$

Worst-case complexity

Constant time and additional memory.

Panics

Panics if self is nonzero and pow is greater than Self::WIDTH.

Examples

See here.

Divides the negative of a number by $2^k$, returning just the remainder.

If the quotient were computed, the quotient and remainder would satisfy $x = q2^k - r$ and $0 \leq r < 2^k$.

$$ x \gets 2^k\left \lceil \frac{x}{2^k} \right \rceil - x. $$

Worst-case complexity

Constant time and additional memory.

Panics

Panics if self is nonzero and pow is greater than Self::WIDTH.

Examples

See here.

Divides the negative of a number by $2^k$, returning just the remainder.

If the quotient were computed, the quotient and remainder would satisfy $x = q2^k - r$ and $0 \leq r < 2^k$.

$$ x \gets 2^k\left \lceil \frac{x}{2^k} \right \rceil - x. $$

Worst-case complexity

Constant time and additional memory.

Panics

Panics if self is nonzero and pow is greater than Self::WIDTH.

Examples

See here.

Divides the negative of a number by $2^k$, returning just the remainder.

If the quotient were computed, the quotient and remainder would satisfy $x = q2^k - r$ and $0 \leq r < 2^k$.

$$ x \gets 2^k\left \lceil \frac{x}{2^k} \right \rceil - x. $$

Worst-case complexity

Constant time and additional memory.

Panics

Panics if self is nonzero and pow is greater than Self::WIDTH.

Examples

See here.

Divides the negative of a number by $2^k$, returning just the remainder.

If the quotient were computed, the quotient and remainder would satisfy $x = q2^k - r$ and $0 \leq r < 2^k$.

$$ x \gets 2^k\left \lceil \frac{x}{2^k} \right \rceil - x. $$

Worst-case complexity

Constant time and additional memory.

Panics

Panics if self is nonzero and pow is greater than Self::WIDTH.

Examples

See here.

Divides the negative of a number by $2^k$, returning just the remainder.

If the quotient were computed, the quotient and remainder would satisfy $x = q2^k - r$ and $0 \leq r < 2^k$.

$$ x \gets 2^k\left \lceil \frac{x}{2^k} \right \rceil - x. $$

Worst-case complexity

Constant time and additional memory.

Panics

Panics if self is nonzero and pow is greater than Self::WIDTH.

Examples

See here.

Implementors