Trait Gcd

pub trait Gcd<Rhs = Self>: Sized {
    type Output;

    // Required methods
    fn gcd(&self, rhs: &Rhs) -> Self::Output;
    fn gcd_vartime(&self, rhs: &Rhs) -> Self::Output;
}

Compute the greatest common divisor of two integers.

Required Associated Types

type Output

Output type.

Required Methods

fn gcd(&self, rhs: &Rhs) -> Self::Output

Compute the greatest common divisor of self and rhs.

fn gcd_vartime(&self, rhs: &Rhs) -> Self::Output

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

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl Gcd for BoxedUint

Available on crate feature alloc only.

type Output = BoxedUint

impl Gcd<BoxedUint> for Odd<BoxedUint>

Available on crate feature alloc only.

type Output = BoxedUint

impl<const SAT_LIMBS: usize, const UNSAT_LIMBS: usize> Gcd for Int<SAT_LIMBS>

where Odd<Uint<SAT_LIMBS>>: PrecomputeInverter<Inverter = SafeGcdInverter<SAT_LIMBS, UNSAT_LIMBS>>,

Gcd of two Ints

type Output = Uint<SAT_LIMBS>

impl<const SAT_LIMBS: usize, const UNSAT_LIMBS: usize> Gcd for Uint<SAT_LIMBS>

where Odd<Self>: PrecomputeInverter<Inverter = SafeGcdInverter<SAT_LIMBS, UNSAT_LIMBS>>,

type Output = Uint<SAT_LIMBS>

impl<const SAT_LIMBS: usize, const UNSAT_LIMBS: usize> Gcd<Int<SAT_LIMBS>> for Uint<SAT_LIMBS>

where Odd<Uint<SAT_LIMBS>>: PrecomputeInverter<Inverter = SafeGcdInverter<SAT_LIMBS, UNSAT_LIMBS>>,

Gcd of a Uint and an Int.

type Output = Uint<SAT_LIMBS>

impl<const SAT_LIMBS: usize, const UNSAT_LIMBS: usize> Gcd<Uint<SAT_LIMBS>> for Int<SAT_LIMBS>

where Odd<Uint<SAT_LIMBS>>: PrecomputeInverter<Inverter = SafeGcdInverter<SAT_LIMBS, UNSAT_LIMBS>>,

Gcd of an Int and a Uint.

type Output = Uint<SAT_LIMBS>

impl<const SAT_LIMBS: usize, const UNSAT_LIMBS: usize> Gcd<Uint<SAT_LIMBS>> for Odd<Uint<SAT_LIMBS>>

where Odd<Self>: PrecomputeInverter<Inverter = SafeGcdInverter<SAT_LIMBS, UNSAT_LIMBS>>,

type Output = Uint<SAT_LIMBS>