Trait ExtendedGcd 

pub trait ExtendedGcd<Rhs = Self> {
    type OutputGcd;
    type OutputCoeff;

    // Required method
    fn gcd_ext(
        self,
        rhs: Rhs,
    ) -> (Self::OutputGcd, Self::OutputCoeff, Self::OutputCoeff);
}

Compute the greatest common divisor between self and the other operand, and return both the common divisor g and the Bézout coefficients respectively.

For negative integers, the common divisor is still kept positive.

Examples

use dashu_base::{Gcd, ExtendedGcd};
let (g, cx, cy) = 12u8.gcd_ext(10u8);
assert_eq!(g, 12u8.gcd(10u8));
assert_eq!(g as i8, 12 * cx + 10 * cy);

Panics

Panics if both operands are zeros

Required Associated Types

type OutputGcd

type OutputCoeff

Required Methods

fn gcd_ext( self, rhs: Rhs, ) -> (Self::OutputGcd, Self::OutputCoeff, Self::OutputCoeff)

Calculate the greatest common divisor between the two operands, returns the common divisor g and the Bézout coefficients respectively.

Panics if both operands are zeros

Implementations on Foreign Types

impl ExtendedGcd for u8

type OutputGcd = u8

type OutputCoeff = i8

fn gcd_ext(self, rhs: u8) -> (u8, i8, i8)

impl ExtendedGcd for u16

type OutputGcd = u16

type OutputCoeff = i16

fn gcd_ext(self, rhs: u16) -> (u16, i16, i16)

impl ExtendedGcd for u32

type OutputGcd = u32

type OutputCoeff = i32

fn gcd_ext(self, rhs: u32) -> (u32, i32, i32)

impl ExtendedGcd for u64

type OutputGcd = u64

type OutputCoeff = i64

fn gcd_ext(self, rhs: u64) -> (u64, i64, i64)

impl ExtendedGcd for u128

type OutputGcd = u128

type OutputCoeff = i128

fn gcd_ext(self, rhs: u128) -> (u128, i128, i128)

impl ExtendedGcd for usize

type OutputGcd = usize

type OutputCoeff = isize

fn gcd_ext(self, rhs: usize) -> (usize, isize, isize)

Implementors