Function cp_library_rs::number_theory::ext_euclid::inv

pub fn inv(a: isize, m: isize) -> Option<isize>

拡張ユークリッド互除法によりモジュラ逆元を計算する．

• $ax \equiv 1 \mod m$ を満たす $x$ を求める．
• $a$ と $m$ は互いに素である必要がある

戻り値

• aとmが互いに素 → Some($a^{-1} \mod m$)
• aとmが互いに素でない → None