int.mod.inv

整数 \(a\)\(m\) について \[a^{-1} \bmod m\] の存在のための必要十分条件は \(a,m\) が互いに素であること. 存在する時, これは拡張ユークリッドの互除法で次のように解ける.

int.mod.inv.rs

逆数が存在しない場合は None を返す.

int.mod.inv.cc