Trait Limbs 

pub(super) trait Limbs:
    From<u8>
    + CtAssign
    + Zero
    + One
    + Limbs {
    // Required methods
    fn wide_div_rem_thin(
        wide: Self::Wide,
        thin: &NonZero<Self>,
    ) -> (Self::Wide, Self);
    fn coprime(a: Self, b_abs: Self, c: Self::Wide) -> Choice;
}

The required view over a collection of limbs to validate a binary quadratic form.

Required Methods

fn wide_div_rem_thin( wide: Self::Wide, thin: &NonZero<Self>, ) -> (Self::Wide, Self)

Divide a wide value by a thin value, yielding the quotient and remainder.

fn coprime(a: Self, b_abs: Self, c: Self::Wide) -> Choice

Return if the values are coprime.

Dyn Compatibility

This trait is not dyn compatible.

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

Implementations on Foreign Types

impl Limbs for BoxedUint

Available on crate feature alloc only.

fn wide_div_rem_thin( wide: Self::Wide, thin: &NonZero<Self>, ) -> (Self::Wide, Self)

fn coprime(a: Self, b_abs: Self, c: Self::Wide) -> Choice

impl<const LIMBS: usize, const WIDE_LIMBS: usize> Limbs for Uint<LIMBS>

where Self: Concat<LIMBS, Output = Uint<WIDE_LIMBS>>, Uint<WIDE_LIMBS>: SplitEven<Output = Self>,

fn wide_div_rem_thin( wide: Self::Wide, thin: &NonZero<Self>, ) -> (Self::Wide, Self)

fn coprime(a: Self, b_abs: Self, c: Self::Wide) -> Choice

Implementors