2016-04-05 239 views

回答

4

它使用在mpz_gcdexthttps://fossies.org/dox/gmp-6.1.0/mpz_2invert_8c_source.html中實現的擴展GCD。

+0

請參閱GMP手冊的第15.3.4節:[https://gmplib.org/manual/Extended-GCD.html#Extended-GCD](https://gmplib.org/manual/Extended-GCD.html #Extended-GCD) – user448810

+0

具體而言,它會針對Bézout係數之一調用帶有NULL參數的mpz_gcdext,因爲它不是必需的。 '(g,z,NULL,x,模數)'。如果「(z <0)」,最小非負殘基(相反)將在:+/-模量內。這是由於gcdext返回兩個可能的「最小」係數對中的一個。 –