1#lang racket/base
2
3(require typed/untyped-utils
4         "private/number-theory/divisibility.rkt"
5         "private/number-theory/modular-arithmetic.rkt"
6         (except-in "private/number-theory/number-theory.rkt" prev-prime next-prime)
7         (except-in "private/number-theory/factorial.rkt" factorial permutations)
8         "private/number-theory/bernoulli.rkt"
9         "private/number-theory/eulerian-number.rkt"
10         "private/number-theory/farey.rkt"
11         "private/number-theory/fibonacci.rkt"
12         "private/number-theory/partitions.rkt"
13         "private/number-theory/polygonal.rkt"
14         "private/number-theory/primitive-roots.rkt"
15         "private/number-theory/quadratic.rkt"
16         "private/number-theory/quadratic-residues.rkt"
17         "private/number-theory/tangent-number.rkt")
18
19(require/untyped-contract
20 "private/number-theory/factorial.rkt"
21 [factorial  (Integer -> Positive-Integer)]
22 [permutations  (Integer Integer -> Natural)])
23
24(require/untyped-contract
25 "private/number-theory/binomial.rkt"
26 [binomial  (Integer Integer -> Natural)])
27
28(require/untyped-contract
29 "private/number-theory/number-theory.rkt"
30 [next-prime (Integer -> Integer)]
31 [prev-prime (Integer -> Integer)])
32
33(provide (all-from-out
34          "private/number-theory/divisibility.rkt"
35          "private/number-theory/modular-arithmetic.rkt"
36          "private/number-theory/number-theory.rkt"
37          "private/number-theory/factorial.rkt"
38          "private/number-theory/bernoulli.rkt"
39          "private/number-theory/eulerian-number.rkt"
40          "private/number-theory/farey.rkt"
41          "private/number-theory/fibonacci.rkt"
42          "private/number-theory/partitions.rkt"
43          "private/number-theory/polygonal.rkt"
44          "private/number-theory/primitive-roots.rkt"
45          "private/number-theory/quadratic.rkt"
46          "private/number-theory/quadratic-residues.rkt"
47          "private/number-theory/tangent-number.rkt")
48         next-prime prev-prime
49         factorial permutations
50         binomial)
51