[−][src]Trait maths_traits::algebra::ring_like::Bezout

pub trait Bezout: GCD {
    fn bezout_with_gcd(self, rhs: Self) -> (Self, Self, Self);

    fn bezout_coefficients(self, rhs: Self) -> (Self, Self) { ... }
}

A trait for finding the Bezout coefficients of a pair of elements

Required methods

fn bezout_with_gcd(self, rhs: Self) -> (Self, Self, Self)

Computes the GCD and the bezout coefficients in one function call

Loading content...

Provided methods

fn bezout_coefficients(self, rhs: Self) -> (Self, Self)

Bezout coefficients of a pair of elements

The Bezout coefficients for x and y are a pair of elements a and b such that a*x + b*y = GCD(x,y). Note that like with the GCD, these are only unique up to units. However, the coefficients returned by this function must satisfy the defining identity for the particular GCD as returned by GCD::gcd()

Loading content...

Implementations on Foreign Types

impl Bezout for i8[src]

impl Bezout for i16[src]

impl Bezout for i32[src]

impl Bezout for i64[src]

impl Bezout for i128[src]

impl Bezout for isize[src]

Loading content...

Implementors

Loading content...