mpz_invert behavior -addendum
nisse at lysator.liu.se
Sun Apr 13 17:27:18 UTC 2014
Benjamin Eltzner <b.eltzner at gmx.de> 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