You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The documentation for reduce32 states that the output is in the range [-6283009, 6283007]. The range is actually [-6283009, 6283008], as evaluating reduce32 at 2^{31} - 2^{22} - 1 will illustrate.
I have a branch which fixes both this issue and #55 since they're quite minor.
The text was updated successfully, but these errors were encountered:
The documentation for
reduce32
states that the output is in the range [-6283009, 6283007]. The range is actually [-6283009, 6283008], as evaluatingreduce32
at 2^{31} - 2^{22} - 1 will illustrate.I have a branch which fixes both this issue and #55 since they're quite minor.
The text was updated successfully, but these errors were encountered: