Kaydet (Commit) 50b0a365 authored tarafından Stefan Krah's avatar Stefan Krah

Fix comment.

üst 22385011
...@@ -7080,7 +7080,7 @@ _mpd_qreciprocal(mpd_t *result, const mpd_t *a, const mpd_context_t *ctx, ...@@ -7080,7 +7080,7 @@ _mpd_qreciprocal(mpd_t *result, const mpd_t *a, const mpd_context_t *ctx,
* q, r = divmod(coeff(a), coeff(b)) * q, r = divmod(coeff(a), coeff(b))
* *
* Strategy: Multiply the dividend by the reciprocal of the divisor. The * Strategy: Multiply the dividend by the reciprocal of the divisor. The
* inexact result is fixed by a small loop, using at most 2 iterations. * inexact result is fixed by a small loop, using at most one iteration.
* *
* ACL2 proofs: * ACL2 proofs:
* ------------ * ------------
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment