mpz_invert behavior -addendum

Niels Möller nisse at
Sun Apr 13 17:27:18 UTC 2014

Benjamin Eltzner <b.eltzner at> writes:

> I would be grateful, if the case of the zero ring could be
> treated in a separate sentence in your documentation, like:
> "The element of the zero ring is a unit, therefore if op2 = +-1 the
> return value is non-zero and rop = 0."

Marco already changed 0 < rop to 0 <= rop. I'm about to check in this
somewhat wordier description:

    If the inverse exists, the return value is non-zero and ROP will
    satisfy 0 <= ROP < abs(OP2) (with ROP = 0 possible only when
    abs(OP2) = 1, i.e., in the somewhat degenerate zero ring).

Does that look ok?


Niels Möller. PGP-encrypted email is preferred. Keyid C0B98E26.
Internet email is subject to wholesale government surveillance.

More information about the gmp-bugs mailing list