egison-3.3.6: lib/core/math.egi

(define $permutation-count
  (lambda [$n $r]
    (foldl * 1 (between (- n (- r 1)) n))))

(define $combination-count
  (lambda [$n $r]
    (/ (permutation-count n r)
       (fact r))))