def binomial

unified-nsga-iii@0.2.2.0 · util.bend:60

import Base

60# C(n, k). Das–Dennis count = C(p + M - 1, M - 1).
61def binomial(+n: Nat, +k: Nat) -> Nat:
62  match n k:
63    case x 0n:
64      1n
65    case 0n 1n+pk:
66      0n
67    case 1n+pn 1n+pk:
68      Nat.add(binomial(pn, pk), binomial(pn, 1n+pk))