1
GMPが有限体の要素を逆転させるために使用するアルゴリズムとは何ですか？GMPは、プライムフィールド反転（mpz_invert）にどのようなアルゴリズムを使用していますか？
GMPが有限体の要素を逆転させるために使用するアルゴリズムとは何ですか？GMPは、プライムフィールド反転（mpz_invert）にどのようなアルゴリズムを使用していますか？
mpz_gcdext：https://fossies.org/dox/gmp-6.1.0/mpz_2invert_8c_source.htmlで実装されている拡張GCDを使用します。
GMPマニュアルの15.3.4節を参照してください。[https://gmplib.org/manual/Extended-GCD.html#Extended-GCD](https://gmplib.org/manual/Extended-GCD.html） ＃Extended-GCD） – user448810
具体的には、Bézout係数の1つに対してNULL引数を指定して 'mpz_gcdext'を呼び出します。これは必須ではないためです。 '（g、z、NULL、x、モジュラス）'。最小の非負の剰余（逆数）は、 '（z <0）'の場合は '+/- modulus'の範囲内にあります。これは、2つの可能な「最小」係数対のうちの1つを返すgcdextに起因する。 –