Module extended_euclidean_modular_gcd_inverse_u64_direct

Functions

mod_gcd_inv

compute g := \gcd(modulus, n), and modular inverse of n/g in Z_{modulus/g}. we convert parameters to i64 internally. so be careful not to pass modulus > 2^63 because it overflows. it’s trivial that inverse of 0 is undefined, so if n = 0, it panics.