Ah yes, you are right. I understand now. I don't know how this can be represented without an overflow warning in C and still make sense.
Anyhow, I've changed it now to avoid the compiler warning. If we come up with something more meaningful we can change it again. Bill. On 29 September 2012 00:04, Brian Gladman <b...@gladman.plus.com> wrote: > -----Original Message----- From: Bill Hart > Sent: Friday, September 28, 2012 11:13 PM > > To: mpir-devel@googlegroups.com > Subject: Re: [mpir-devel] Re: MPIR 2.6 release progress > > On 28 September 2012 22:15, Brian Gladman <b...@gladman.plus.com> wrote: >> >> -----Original Message----- From: Bill Hart >> Sent: Friday, September 28, 2012 9:39 PM >> To: mpir-devel@googlegroups.com > > >> Mathematically, -INTMAX_MIN is what is needed on the right but integer >> wraparound happens to make this redundant. >> >> I don't recall that there was any more to it than this. >> >> > > I'm not sure I understand why -INTMAX_MIN is needed mathematically. > After all, INTMAX_MIN is already a negative integer, so -INTMAX_MIN > would be positive, in which case the answer would be wrong, due to > truncation. > > ================================= > > Maybe I am not explaining myself well. > > Consider what has to be done to convert a negative integer of_any_length > into the limbs in an mpn. > > The first step is to reverse its sign. > > I am not saying that this is needed in _this_ case, just that the logical > steps in the general (indeterminate length) case are (1) reverse the sign, > (2) divide it into chunks. > > All I am saying is that this is possibly the motivation for the sign. > > > Brian > > -- > You received this message because you are subscribed to the Google Groups > "mpir-devel" group. > To post to this group, send email to mpir-devel@googlegroups.com. > To unsubscribe from this group, send email to > mpir-devel+unsubscr...@googlegroups.com. > For more options, visit this group at > http://groups.google.com/group/mpir-devel?hl=en. > -- You received this message because you are subscribed to the Google Groups "mpir-devel" group. To post to this group, send email to mpir-devel@googlegroups.com. To unsubscribe from this group, send email to mpir-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/mpir-devel?hl=en.
