History of Idiom 15 > diff from v39 to v40
Edit summary for version 40 by daniel:
[C] Fix modulo bias, and also allow `b`
[C] Fix modulo bias, and also allow `b`
↷
Version 39
2018-05-08, 01:28:15
Version 40
2019-09-26, 17:12:46
Idiom #15 Pick uniformly a random integer in [a..b]
Pick a random integer greater than or equals to a, inferior or equals to b. Precondition : a < b.
Idiom #15 Pick uniformly a random integer in [a..b]
Pick a random integer greater than or equals to a, inferior or equals to b. Precondition : a < b.