# Function hacspec_lib::prelude::extended_euclid

source · [−]`pub fn extended_euclid<T: Integer + Copy>(`

x: &Seq<T>,

irr: &Seq<T>,

n: T

) -> Result<Seq<T>, &'static str>

## Expand description

*This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec*
Euclidean algorithm to compute the inverse of x in yℤ[x]