pub fn extended_euclid<T: Integer + Copy>( x: &Seq<T>, irr: &Seq<T>, n: T, ) -> Result<Seq<T>, &'static str>
Euclidean algorithm to compute the inverse of x in yℤ[x]