1use ferray_core::{Array, FerrayError, IxDyn};
6
7use crate::bitgen::BitGenerator;
8use crate::distributions::gamma::standard_gamma_single;
9use crate::generator::{Generator, generate_vec_i64, shape_size, vec_to_array_i64};
10use crate::shape::IntoShape;
11
12fn poisson_single<B: BitGenerator>(bg: &mut B, lam: f64) -> i64 {
15 if lam < 30.0 {
16 let l = (-lam).exp();
18 let mut k: i64 = 0;
19 let mut p = 1.0;
20 loop {
21 k += 1;
22 p *= bg.next_f64();
23 if p <= l {
24 return k - 1;
25 }
26 }
27 } else {
28 let slam = lam.sqrt();
30 let loglam = lam.ln();
31 let b = 2.53f64.mul_add(slam, 0.931);
32 let a = 0.02483f64.mul_add(b, -0.059);
33 let inv_alpha = 1.1239 + 1.1328 / (b - 3.4);
34 let vr = 0.9277 - 3.6224 / (b - 2.0);
35
36 loop {
37 let u = bg.next_f64() - 0.5;
38 let v = bg.next_f64();
39 let us = 0.5 - u.abs();
40 let k = ((2.0 * a / us + b).mul_add(u, lam) + 0.43).floor() as i64;
41 if k < 0 {
42 continue;
43 }
44 if us >= 0.07 && v <= vr {
45 return k;
46 }
47 if k > 0
48 && us >= 0.013
49 && v <= (k as f64)
50 .ln()
51 .mul_add(
52 -0.5,
53 (k as f64).mul_add(loglam, -lam) - ln_factorial(k as u64),
54 )
55 .exp()
56 * inv_alpha
57 {
58 return k;
59 }
60 if us < 0.013 && v > us {
61 continue;
62 }
63 let kf = k as f64;
65 let log_accept = -lam + kf * loglam - ln_factorial(k as u64);
66 if v.ln() + inv_alpha.ln() - (a / (us * us) + b).ln() <= log_accept {
67 return k;
68 }
69 }
70 }
71}
72
73fn ln_factorial(n: u64) -> f64 {
75 if n <= 20 {
76 let mut result = 0.0_f64;
78 for i in 2..=n {
79 result += (i as f64).ln();
80 }
81 result
82 } else {
83 let nf = n as f64;
85 0.5f64.mul_add((std::f64::consts::TAU).ln(), (nf + 0.5) * nf.ln()) - nf + 1.0 / (12.0 * nf)
86 - 1.0 / (360.0 * nf * nf * nf)
87 }
88}
89
90fn binomial_single<B: BitGenerator>(bg: &mut B, n: u64, p: f64) -> i64 {
93 if n == 0 || p == 0.0 {
94 return 0;
95 }
96 if p == 1.0 {
97 return n as i64;
98 }
99
100 let (pp, flipped) = if p > 0.5 { (1.0 - p, true) } else { (p, false) };
102
103 let np = n as f64 * pp;
104 let q = 1.0 - pp;
105
106 let result = if np < 30.0 {
107 let s = pp / q;
109 let a = (n as f64 + 1.0) * s;
110 let mut r = q.powf(n as f64);
111 let mut u = bg.next_f64();
112 let mut x: i64 = 0;
113 while u > r {
114 u -= r;
115 x += 1;
116 r *= a / (x as f64) - s;
117 if r < 0.0 {
118 break;
119 }
120 }
121 x.min(n as i64)
122 } else {
123 let fm = np + pp;
127 let m = fm.floor() as i64;
128 let mf = m as f64;
129 let p1 = 2.195f64.mul_add((np * q).sqrt(), -(4.6 * q)).floor() + 0.5;
130 let xm = mf + 0.5;
131 let xl = xm - p1;
132 let xr = xm + p1;
133 let c = 0.134 + 20.5 / (15.3 + mf);
134 let a = (fm - xl) / (fm - xl * pp);
135 let lambda_l = a * 0.5f64.mul_add(a, 1.0);
136 let a2 = (xr - fm) / (xr * q);
137 let lambda_r = a2 * 0.5f64.mul_add(a2, 1.0);
138 let p2 = p1 * 2.0f64.mul_add(c, 1.0);
139 let p3 = p2 + c / lambda_l;
140 let p4 = p3 + c / lambda_r;
141
142 loop {
143 let u = bg.next_f64() * p4;
144 let v = bg.next_f64();
145 let y: i64;
146
147 if u <= p1 {
148 y = (xm - p1 * v + u).floor() as i64;
150 } else if u <= p2 {
151 let x = xl + (u - p1) / c;
153 #[allow(clippy::suspicious_operation_groupings)]
158 let w = v + (x - xm) * (x - xm) / (p1 * p1);
159 if w > 1.0 {
160 continue;
161 }
162 y = x.floor() as i64;
163 } else if u <= p3 {
164 y = (xl + v.ln() / lambda_l).floor() as i64;
166 if y < 0 {
167 continue;
168 }
169 } else {
170 y = (xr - v.ln() / lambda_r).floor() as i64;
172 if y > n as i64 {
173 continue;
174 }
175 }
176
177 let k = (y - m).abs();
179 if k <= 20 || k as f64 >= (0.5 * np).mul_add(q, -1.0) {
180 let kf = k as f64;
182 let yf = y as f64;
183 let rho =
184 (kf / (np * q)) * (kf.mul_add(kf / 3.0 + 0.625, 1.0 / 6.0) / (np * q) + 0.5);
185 let t = -kf * kf / (2.0 * np * q);
186 let log_a = t - rho;
187 if v.ln() <= log_a {
188 break y;
189 }
190 let log_v = v.ln();
192 let log_accept = (yf - mf).mul_add(
193 (pp / q).ln(),
194 ln_factorial(m as u64) - ln_factorial(y as u64) - ln_factorial(n - y as u64)
195 + ln_factorial(n - m as u64),
196 );
197 if log_v <= log_accept {
198 break y;
199 }
200 } else {
201 break y;
202 }
203 }
204 };
205
206 if flipped { n as i64 - result } else { result }
207}
208
209impl<B: BitGenerator> Generator<B> {
210 pub fn binomial(
223 &mut self,
224 n: u64,
225 p: f64,
226 size: impl IntoShape,
227 ) -> Result<Array<i64, IxDyn>, FerrayError> {
228 if !(0.0..=1.0).contains(&p) {
229 return Err(FerrayError::invalid_value(format!(
230 "p must be in [0, 1], got {p}"
231 )));
232 }
233 let shape_vec = size.into_shape()?;
234 let total = shape_size(&shape_vec);
235 let data = generate_vec_i64(self, total, |bg| binomial_single(bg, n, p));
236 vec_to_array_i64(data, &shape_vec)
237 }
238
239 pub fn negative_binomial(
252 &mut self,
253 n: f64,
254 p: f64,
255 size: impl IntoShape,
256 ) -> Result<Array<i64, IxDyn>, FerrayError> {
257 if n <= 0.0 {
258 return Err(FerrayError::invalid_value(format!(
259 "n must be positive, got {n}"
260 )));
261 }
262 if p <= 0.0 || p > 1.0 {
263 return Err(FerrayError::invalid_value(format!(
264 "p must be in (0, 1], got {p}"
265 )));
266 }
267 let shape_vec = size.into_shape()?;
268 let total = shape_size(&shape_vec);
269 let data = generate_vec_i64(self, total, |bg| {
270 let y = standard_gamma_single(bg, n) * (1.0 - p) / p;
273 poisson_single(bg, y)
274 });
275 vec_to_array_i64(data, &shape_vec)
276 }
277
278 pub fn poisson(
287 &mut self,
288 lam: f64,
289 size: impl IntoShape,
290 ) -> Result<Array<i64, IxDyn>, FerrayError> {
291 if lam < 0.0 {
292 return Err(FerrayError::invalid_value(format!(
293 "lam must be non-negative, got {lam}"
294 )));
295 }
296 let shape_vec = size.into_shape()?;
297 let total = shape_size(&shape_vec);
298 if lam == 0.0 {
299 let data = vec![0i64; total];
300 return vec_to_array_i64(data, &shape_vec);
301 }
302 let data = generate_vec_i64(self, total, |bg| poisson_single(bg, lam));
303 vec_to_array_i64(data, &shape_vec)
304 }
305
306 pub fn geometric(
317 &mut self,
318 p: f64,
319 size: impl IntoShape,
320 ) -> Result<Array<i64, IxDyn>, FerrayError> {
321 if p <= 0.0 || p > 1.0 {
322 return Err(FerrayError::invalid_value(format!(
323 "p must be in (0, 1], got {p}"
324 )));
325 }
326 let shape_vec = size.into_shape()?;
327 let total = shape_size(&shape_vec);
328 if (p - 1.0).abs() < f64::EPSILON {
329 let data = vec![1i64; total];
330 return vec_to_array_i64(data, &shape_vec);
331 }
332 let log_q = (1.0 - p).ln();
333 let data = generate_vec_i64(self, total, |bg| {
334 loop {
335 let u = bg.next_f64();
336 if u > f64::EPSILON {
337 return (u.ln() / log_q).floor() as i64 + 1;
338 }
339 }
340 });
341 vec_to_array_i64(data, &shape_vec)
342 }
343
344 pub fn hypergeometric(
358 &mut self,
359 ngood: u64,
360 nbad: u64,
361 nsample: u64,
362 size: impl IntoShape,
363 ) -> Result<Array<i64, IxDyn>, FerrayError> {
364 let total = ngood + nbad;
365 if nsample > total {
366 return Err(FerrayError::invalid_value(format!(
367 "nsample ({nsample}) > ngood + nbad ({total})"
368 )));
369 }
370 let shape_vec = size.into_shape()?;
371 let total_n = shape_size(&shape_vec);
372 let data = generate_vec_i64(self, total_n, |bg| {
373 hypergeometric_single(bg, ngood, nbad, nsample)
374 });
375 vec_to_array_i64(data, &shape_vec)
376 }
377
378 pub fn logseries(
387 &mut self,
388 p: f64,
389 size: impl IntoShape,
390 ) -> Result<Array<i64, IxDyn>, FerrayError> {
391 if p <= 0.0 || p >= 1.0 {
392 return Err(FerrayError::invalid_value(format!(
393 "p must be in (0, 1), got {p}"
394 )));
395 }
396 let r = (-(-p).ln_1p()).recip();
397 let shape_vec = size.into_shape()?;
398 let total = shape_size(&shape_vec);
399 let data = generate_vec_i64(self, total, |bg| {
400 loop {
403 let u = bg.next_f64();
404 if u <= f64::EPSILON || u >= 1.0 - f64::EPSILON {
405 continue;
406 }
407 let v = bg.next_f64();
408 let q = 1.0 - (-r.recip() * u.ln()).exp();
409 if q <= 0.0 {
410 return 1;
411 }
412 if v < q * q {
413 let k = (1.0 + v.log(q)).floor() as i64;
414 return k.max(1);
415 }
416 if v < q {
417 return 2;
418 }
419 return 1;
420 }
421 });
422 vec_to_array_i64(data, &shape_vec)
423 }
424
425 pub fn zipf(&mut self, a: f64, size: impl IntoShape) -> Result<Array<i64, IxDyn>, FerrayError> {
437 if a <= 1.0 {
438 return Err(FerrayError::invalid_value(format!(
439 "a must be > 1 for Zipf, got {a}"
440 )));
441 }
442 let am1 = a - 1.0;
443 let b = 2.0_f64.powf(am1);
444 let shape_vec = size.into_shape()?;
445 let total = shape_size(&shape_vec);
446 let data = generate_vec_i64(self, total, |bg| {
447 loop {
448 let u = 1.0 - bg.next_f64();
449 let v = bg.next_f64();
450 let x = u.powf(-1.0 / am1).floor();
451 if !x.is_finite() || x < 1.0 {
453 continue;
454 }
455 let t = (1.0 + 1.0 / x).powf(am1);
456 if v * x * (t - 1.0) / (b - 1.0) <= t / b {
458 if x > i64::MAX as f64 {
459 continue;
460 }
461 return x as i64;
462 }
463 }
464 });
465 vec_to_array_i64(data, &shape_vec)
466 }
467}
468
469fn hypergeometric_single<B: BitGenerator>(bg: &mut B, ngood: u64, nbad: u64, nsample: u64) -> i64 {
471 let mut good_remaining = ngood;
473 let mut total_remaining = ngood + nbad;
474 let mut successes: i64 = 0;
475
476 for _ in 0..nsample {
477 if total_remaining == 0 {
478 break;
479 }
480 let u = bg.next_f64();
481 if u < (good_remaining as f64) / (total_remaining as f64) {
482 successes += 1;
483 good_remaining -= 1;
484 }
485 total_remaining -= 1;
486 }
487 successes
488}
489
490#[cfg(test)]
491mod tests {
492 use crate::default_rng_seeded;
493
494 #[test]
495 fn poisson_mean() {
496 let mut rng = default_rng_seeded(42);
497 let n = 100_000;
498 let lam = 5.0;
499 let arr = rng.poisson(lam, n).unwrap();
500 let slice = arr.as_slice().unwrap();
501 let mean: f64 = slice.iter().map(|&x| x as f64).sum::<f64>() / n as f64;
502 let se = (lam / n as f64).sqrt();
504 assert!(
505 (mean - lam).abs() < 3.0 * se,
506 "poisson mean {mean} too far from {lam}"
507 );
508 }
509
510 #[test]
511 fn poisson_large_lambda() {
512 let mut rng = default_rng_seeded(42);
513 let n = 50_000;
514 let lam = 100.0;
515 let arr = rng.poisson(lam, n).unwrap();
516 let slice = arr.as_slice().unwrap();
517 let mean: f64 = slice.iter().map(|&x| x as f64).sum::<f64>() / n as f64;
518 let se = (lam / n as f64).sqrt();
519 assert!(
520 (mean - lam).abs() < 3.0 * se,
521 "poisson mean {mean} too far from {lam}"
522 );
523 }
524
525 #[test]
526 fn poisson_zero() {
527 let mut rng = default_rng_seeded(42);
528 let arr = rng.poisson(0.0, 100).unwrap();
529 for &v in arr.as_slice().unwrap() {
530 assert_eq!(v, 0);
531 }
532 }
533
534 #[test]
535 fn binomial_mean() {
536 let mut rng = default_rng_seeded(42);
537 let size = 100_000;
538 let n = 20u64;
539 let p = 0.3;
540 let arr = rng.binomial(n, p, size).unwrap();
541 let slice = arr.as_slice().unwrap();
542 let mean: f64 = slice.iter().map(|&x| x as f64).sum::<f64>() / size as f64;
543 let expected_mean = n as f64 * p;
545 let expected_var = n as f64 * p * (1.0 - p);
546 let se = (expected_var / size as f64).sqrt();
547 assert!(
548 (mean - expected_mean).abs() < 3.0 * se,
549 "binomial mean {mean} too far from {expected_mean}"
550 );
551 for &v in slice {
553 assert!(
554 v >= 0 && v <= n as i64,
555 "binomial value {v} out of [0, {n}]"
556 );
557 }
558 }
559
560 #[test]
561 fn binomial_edge_cases() {
562 let mut rng = default_rng_seeded(42);
563 let arr = rng.binomial(10, 0.0, 100).unwrap();
565 for &v in arr.as_slice().unwrap() {
566 assert_eq!(v, 0);
567 }
568 let arr = rng.binomial(10, 1.0, 100).unwrap();
570 for &v in arr.as_slice().unwrap() {
571 assert_eq!(v, 10);
572 }
573 }
574
575 #[test]
576 fn negative_binomial_positive() {
577 let mut rng = default_rng_seeded(42);
578 let arr = rng.negative_binomial(5.0, 0.5, 10_000).unwrap();
579 for &v in arr.as_slice().unwrap() {
580 assert!(v >= 0, "negative_binomial value {v} must be >= 0");
581 }
582 }
583
584 #[test]
585 fn geometric_mean() {
586 let mut rng = default_rng_seeded(42);
587 let n = 100_000;
588 let p = 0.3;
589 let arr = rng.geometric(p, n).unwrap();
590 let slice = arr.as_slice().unwrap();
591 let mean: f64 = slice.iter().map(|&x| x as f64).sum::<f64>() / n as f64;
592 let expected_mean = 1.0 / p;
594 let expected_var = (1.0 - p) / (p * p);
595 let se = (expected_var / n as f64).sqrt();
596 assert!(
597 (mean - expected_mean).abs() < 3.0 * se,
598 "geometric mean {mean} too far from {expected_mean}"
599 );
600 for &v in slice {
601 assert!(v >= 1, "geometric value {v} must be >= 1");
602 }
603 }
604
605 #[test]
606 fn hypergeometric_range() {
607 let mut rng = default_rng_seeded(42);
608 let ngood = 20u64;
609 let nbad = 30u64;
610 let nsample = 10u64;
611 let arr = rng.hypergeometric(ngood, nbad, nsample, 10_000).unwrap();
612 let slice = arr.as_slice().unwrap();
613 for &v in slice {
614 assert!(
615 v >= 0 && v <= nsample.min(ngood) as i64,
616 "hypergeometric value {v} out of range"
617 );
618 }
619 }
620
621 #[test]
622 fn hypergeometric_mean() {
623 let mut rng = default_rng_seeded(42);
624 let n = 100_000;
625 let ngood = 20u64;
626 let nbad = 30u64;
627 let nsample = 10u64;
628 let arr = rng.hypergeometric(ngood, nbad, nsample, n).unwrap();
629 let slice = arr.as_slice().unwrap();
630 let mean: f64 = slice.iter().map(|&x| x as f64).sum::<f64>() / n as f64;
631 let total = (ngood + nbad) as f64;
633 let expected_mean = nsample as f64 * ngood as f64 / total;
634 let expected_var = nsample as f64
635 * (ngood as f64 / total)
636 * (nbad as f64 / total)
637 * (total - nsample as f64)
638 / (total - 1.0);
639 let se = (expected_var / n as f64).sqrt();
640 assert!(
641 (mean - expected_mean).abs() < 3.0 * se,
642 "hypergeometric mean {mean} too far from {expected_mean}"
643 );
644 }
645
646 #[test]
647 fn logseries_positive() {
648 let mut rng = default_rng_seeded(42);
649 let arr = rng.logseries(0.5, 10_000).unwrap();
650 for &v in arr.as_slice().unwrap() {
651 assert!(v >= 1, "logseries value {v} must be >= 1");
652 }
653 }
654
655 #[test]
656 fn bad_params() {
657 let mut rng = default_rng_seeded(42);
658 assert!(rng.binomial(10, -0.1, 10).is_err());
659 assert!(rng.binomial(10, 1.5, 10).is_err());
660 assert!(rng.poisson(-1.0, 10).is_err());
661 assert!(rng.geometric(0.0, 10).is_err());
662 assert!(rng.geometric(1.5, 10).is_err());
663 assert!(rng.hypergeometric(5, 5, 20, 10).is_err());
664 assert!(rng.logseries(0.0, 10).is_err());
665 assert!(rng.logseries(1.0, 10).is_err());
666 assert!(rng.negative_binomial(0.0, 0.5, 10).is_err());
667 assert!(rng.negative_binomial(5.0, 0.0, 10).is_err());
668 }
669
670 #[test]
671 fn zipf_positive_integers() {
672 use crate::default_rng_seeded;
673 let mut rng = default_rng_seeded(42);
674 let arr = rng.zipf(2.5, 1000).unwrap();
675 for &v in arr.as_slice().unwrap() {
676 assert!(v >= 1, "zipf output must be >= 1, got {v}");
677 }
678 }
679
680 #[test]
681 fn zipf_seed_reproducible() {
682 use crate::default_rng_seeded;
683 let mut a = default_rng_seeded(7);
684 let mut b = default_rng_seeded(7);
685 let xs = a.zipf(3.0, 200).unwrap();
686 let ys = b.zipf(3.0, 200).unwrap();
687 assert_eq!(xs.as_slice().unwrap(), ys.as_slice().unwrap());
688 }
689
690 #[test]
691 fn zipf_bad_a_errs() {
692 use crate::default_rng_seeded;
693 let mut rng = default_rng_seeded(0);
694 assert!(rng.zipf(1.0, 10).is_err());
695 assert!(rng.zipf(0.5, 10).is_err());
696 assert!(rng.zipf(-2.0, 10).is_err());
697 }
698}