basis/math/primes/primes-tests.factor

   1 USING: arrays kernel math math.primes math.primes.miller-rabin
   2 sequences tools.test ;
   3
   4 { 1237 } [ 1234 next-prime ] unit-test
   5 { f t } [ 1234 prime? 1237 prime? ] unit-test
   6 { { 2 3 5 7 } } [ 10 primes-upto >array ] unit-test
   7 { { 2 } } [ 2 primes-upto >array ] unit-test
   8 { { } } [ 1 primes-upto >array ] unit-test
   9 { { 999983 1000003 } } [ 999982 1000010 primes-between >array ] unit-test
  10 { { } } [ 0 nprimes ] unit-test
  11 { { 2 3 5 7 } } [ 4 nprimes ] unit-test
  12 { t } [ 1000 nprimes [ prime? ] all? ] unit-test
  13 { 1000 } [ 1000 nprimes length ] unit-test
  14 { 1000 } [ 1000 nprimes last primes-upto length ] unit-test
  15
  16 { { 4999963 4999999 5000011 5000077 5000081 } }
  17 [ 4999962 5000082 primes-between >array ] unit-test
  18
  19 { { 8999981 8999993 9000011 9000041 } }
  20 [ 8999980 9000045 primes-between >array ] unit-test
  21
  22 { { } } [ 5 4 primes-between >array ] unit-test
  23
  24 { { 2 } } [ 2 2 primes-between >array ] unit-test
  25
  26 { { 2 } } [ 1.5 2.5 primes-between >array ] unit-test
  27
  28 { 2 } [ 1 next-prime ] unit-test
  29 { 3 } [ 2 next-prime ] unit-test
  30 { 5 } [ 3 next-prime ] unit-test
  31 { 101 } [ 100 next-prime ] unit-test
  32 { t } [ 2135623355842621559 miller-rabin ] unit-test
  33 { 100000000000031 } [ 100000000000000 next-prime ] unit-test
  34
  35 { 49 } [ 50 random-prime log2 ] unit-test
  36
  37 { t } [ 5000077 dup find-relative-prime coprime? ] unit-test
  38
  39 { 5 t { 14 14 14 14 14 } }
  40 [ 5 15 unique-primes [ length ] [ [ prime? ] all? ] [ [ log2 ] map ] tri ] unit-test
  41
  42 { t t } [ 11 dup >bignum [ prime? ] bi@ ] unit-test