suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

clean up pick-an-index for inclusion in a paper

Browse Source
This commit is contained in:
Robby Findler 2014-03-25 14:08:44 -05:00
parent b67c3272dc
commit 63f605a93b
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pkgs/redex-pkgs/redex-lib/redex/private/generate-term.rkt
View File

@ -287,15 +287,16 @@
(values (enum-ith enum (random-natural the-size)) (values (enum-ith enum (random-natural the-size))
'ignored))])) 'ignored))]))
;; pick-an-index : ([0,1] -> Nat) ∪ (-> Nat)
(define (pick-an-index [prob-of-zero 0.01]) (define (pick-an-index [prob-of-zero 0.01])
(max (random-natural/no-mean prob-of-zero) (max (random-natural/no-mean prob-of-zero)
(random-natural/no-mean prob-of-zero) (random-natural/no-mean prob-of-zero)
(random-natural/no-mean prob-of-zero))) (random-natural/no-mean prob-of-zero)))
;; (: random-natural/no-mean (-> Real Natural)) ;; random-natural/no-mean : [0,1] -> Nat
(define (random-natural/no-mean prob-zero) (define (random-natural/no-mean prob-zero)
(define n (exact-floor (sample (geometric-dist prob-zero)))) (define x (sample (geometric-dist prob-zero)))
(define m1 (expt 2 n)) (define m1 (expt 2 (exact-floor x)))
(define m0 (quotient m1 2)) (define m0 (quotient m1 2))
(random-integer m0 m1)) (random-integer m0 m1))