Type Alias NonZeroInt 

pub type NonZeroInt<const LIMBS: usize> = NonZero<Int<LIMBS>>;

Non-zero signed integer.

Aliased Type

pub struct NonZeroInt<const LIMBS: usize>(/* private fields */);

Implementations

impl<const LIMBS: usize> NonZeroInt<LIMBS>

pub const fn new_unwrap(n: Int<LIMBS>) -> Self

Creates a new non-zero integer in a const context.

Panics

• if the value is zero.

Note

In future versions of Rust it should be possible to replace this with NonZero::new(…).unwrap()

pub const fn abs_sign(&self) -> (NonZero<Uint<LIMBS>>, Choice)

The sign and magnitude of this NonZeroInt.

pub const fn abs(&self) -> NonZero<Uint<LIMBS>>

The magnitude of this NonZeroInt.

Trait Implementations

impl<const LIMBS: usize> Gcd<Int<LIMBS>> for NonZeroInt<LIMBS>

type Output = NonZero<Uint<LIMBS>>

Output type.

fn gcd(&self, rhs: &Int<LIMBS>) -> Self::Output

Compute the greatest common divisor of self and rhs.

fn gcd_vartime(&self, rhs: &Int<LIMBS>) -> Self::Output

Compute the greatest common divisor of self and rhs in variable time.

impl<const LIMBS: usize> Gcd<Uint<LIMBS>> for NonZeroInt<LIMBS>

type Output = NonZero<Uint<LIMBS>>

Output type.

fn gcd(&self, rhs: &Uint<LIMBS>) -> Self::Output

Compute the greatest common divisor of self and rhs.

fn gcd_vartime(&self, rhs: &Uint<LIMBS>) -> Self::Output

Compute the greatest common divisor of self and rhs in variable time.

impl<const LIMBS: usize> Gcd for NonZeroInt<LIMBS>

type Output = NonZero<Uint<LIMBS>>

Output type.

fn gcd(&self, rhs: &NonZeroInt<LIMBS>) -> Self::Output

Compute the greatest common divisor of self and rhs.

fn gcd_vartime(&self, rhs: &NonZeroInt<LIMBS>) -> Self::Output

Compute the greatest common divisor of self and rhs in variable time.

impl<const LIMBS: usize> Xgcd for NonZeroInt<LIMBS>

type Output = XgcdOutput<LIMBS, NonZero<Uint<LIMBS>>>

Output type.

fn xgcd(&self, rhs: &NonZeroInt<LIMBS>) -> Self::Output

Compute the extended greatest common divisor of self and rhs.

fn xgcd_vartime(&self, rhs: &NonZeroInt<LIMBS>) -> Self::Output

Compute the extended greatest common divisor of self and rhs in variable time.