equal
deleted
inserted
replaced
34 (* ------------------------------------------------------------------------- *) |
34 (* ------------------------------------------------------------------------- *) |
35 |
35 |
36 val randomWord = RandomWord.next; |
36 val randomWord = RandomWord.next; |
37 val randomBool = RandomWord.next_bit; |
37 val randomBool = RandomWord.next_bit; |
38 fun randomInt n = Word.toInt (Word.mod (randomWord (), Word.fromInt n)); |
38 fun randomInt n = Word.toInt (Word.mod (randomWord (), Word.fromInt n)); |
39 |
39 fun randomReal () = real (Word.toInt (RandomWord.next ())) / RandomWord.range_real; |
40 val normalizer = 1.0 / real RandomWord.range; |
|
41 fun randomReal () = real (Word.toInt (RandomWord.next ())) * normalizer; |
|
42 |
40 |
43 end |
41 end |
44 |
42 |
45 (* ------------------------------------------------------------------------- *) |
43 (* ------------------------------------------------------------------------- *) |
46 (* Quotations a la Moscow ML. *) |
44 (* Quotations a la Moscow ML. *) |