field_5x52_impl.h
were off by 1 (see fe_verify
). This PR fixes the upper bounds and also cleans up the comment along the way.
field_5x52_impl.h
were off by 1 (see fe_verify
). This PR fixes the upper bounds and also cleans up the comment along the way.
ACK bc7420fcba0c272d23650256e9fea3c12a3abbd3
#816 reminded me that it may be a good idea to document the max magnitudes. (They’re checked in the code in fe_verify
but that’s hard to discover if you’re not familiar with the code.) But I guess it’s not trivial, see #1028 (review)
[0]
is the least significant limb though that’s the natural choice.