Bug#744302: mpz_invert behavior -addendum

[bodrato at mail.dm.unipi.it]

Ciao,

Upstream, the "bug" was closed.
We can also close the Debian part of it, can't we?

Il Dom, 13 Aprile 2014 2:26 pm, Benjamin Eltzner ha scritto:
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
>
> Dear list,
>
> I looked at my linear algebra textbooks and found that the current
> behavior of mpz_invert is indeed correct: the definition of unit is
> such that it is satisfied by the element of the zero ring thus the
> non-zero return value is correct. I am sorry that I was so insistent
> on this and 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."
>
> Best Regards,
> Benjamin

The full message and discussion at:
https://gmplib.org/list-archives/gmp-bugs/2014-April/003445.html

The clarification in the docs:
https://gmplib.org/repo/gmp/raw-rev/55ff6b8d9a92

Regards,
m

-- 
http://bodrato.it/