26.1 An Auxiliary Naive Implementation

670auxiliary 628+   (626 660 669 728)  665  729
binomialAux(n: I, k: I): Integer == {
        N := n :: Integer;
        K := k :: Integer;
        numer: Integer := factorial N;
        denom: Integer := factorial K * factorial(N-K);
        exquo(numer, denom);
}

Uses exquo 365, I 47, and Integer 66.