Function ring_algorithm::normalized_extended_euclidian_algorithm

pub fn normalized_extended_euclidian_algorithm<T>(x: T, y: T) -> (T, T, T) where
    T: Sized + Zero + One + RingNormalize + EuclideanRingOperationFrom,
    for<'x> &'x T: EuclideanRingOperation, 

extended euclidian algorithm with normalize

use ring_algorithm::{gcd, normalized_extended_euclidian_algorithm, RingNormalize};
let a = 314;
let b = 271;
let (d, x, y) = normalized_extended_euclidian_algorithm::<i32>(a, b);
assert_eq!(d, gcd::<i32>(a, b));
assert_eq!(d, x * a + y * b);