File : charles-prime_numbers.ads


package Charles.Prime_Numbers is

   pragma Pure;

   type Primes_Type is
      array (Positive range <>) of Positive;

   Primes : constant Primes_Type :=
     (5, 7, 11, 13, 17, 19, 23, 31, --for debugging

      53,         97,         193,       389,       769,
      1543,       3079,       6151,      12289,     24593,
      49157,      98317,      196613,    393241,    786433,
      1572869,    3145739,    6291469,   12582917,  25165843,
      50331653,   100663319,  201326611, 402653189, 805306457,
      1610612741);

   function To_Prime (Length : Integer'Base) 
      return Positive;

end Charles.Prime_Numbers;