gmp_divexact

説明

resource gmp_divexact ( resource n, resource d)

高速な "exact division" アルゴリズムを使用して d で n を割ります。 この関数は、n を d で割った数が既知の場合にのみ正確な結果を出力します。