hacspec_lib::prelude

Function 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

Euclidean algorithm to compute the inverse of x in yℤ[x]