Trait Xgcd 

pub trait Xgcd<T = Self> {
    type Output;

    // Required method
    fn xgcd(&self, other: T) -> Self::Output;
}

Is implemented by Z instances to calculate the extended gcd

Required Associated Types

type Output

Required Methods

fn xgcd(&self, other: T) -> Self::Output

Outputs the extended greatest common divisor (xgcd) of the two given values, i.e. a triple (gcd(a, b), x, y), where a*x + b*y = gcd(a, b)*.

Parameters:

• other: specifies one of the values of which the gcd is computed

Returns a triple (gcd(a, b), x, y) containing the greatest common divisor, x, and y s.t. gcd(a, b) = a*x + b*y.

Implementors

impl<Integer: Into<Z>> Xgcd<Integer> for Z

type Output = (Z, Z, Z)