Author juraj.sukop
Recipients juraj.sukop, mark.dickinson, rhettinger, serhiy.storchaka, stutzbach
Date 2021-01-28.14:08:34
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <>
The rounding down of `l` might compute more than half of the bits so that the final Heron' step in `isqrt_2` might correct the uncertain low bit if `a - (a*a > n)` is missing from `isqrt`.

As it currently stands, `a - (a*a > n)` is computed both in `isqrt` and `isqrt_2`. So I was thinking that maybe the former might be dropped.

Are you saying that both correction are need?
Date User Action Args
2021-01-28 14:08:35juraj.sukopsetrecipients: + juraj.sukop, rhettinger, mark.dickinson, stutzbach, serhiy.storchaka
2021-01-28 14:08:34juraj.sukopsetmessageid: <>
2021-01-28 14:08:34juraj.sukoplinkissue43053 messages
2021-01-28 14:08:34juraj.sukopcreate