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

Fixed type error in "bernoulli.rkt"

Browse Source 
If you merge e1b6e84089, please merge this as well (or math won't
compile)
This commit is contained in:
Neil Toronto 2013-01-19 18:56:37 -07:00
parent 564f589601
commit ddec613dc9
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/math/private/number-theory/bernoulli.rkt
View File

@ -56,11 +56,11 @@
(for/fold: ([sum : Exact-Rational 0]
[bin : Integer (binomial (+ m 3) m-6)]
) ([j (in-range 1 (+ M 1))])
(values (+ sum (* bin (bern (- m (* 6 j)))))
(values (+ sum (* bin (bern (assert (- m (* 6 j)) natural?))))
(next-binom bin (+ m 3) (- m (* 6 j))))))
sum]))
(: bern : Integer -> Exact-Rational)
(: bern : Natural -> Exact-Rational)
(define (bern n)
(bs-ref!
n (λ ()