basis/math/primes/safe/safe-tests.factor

   1 ! Copyright (C) 2009 Doug Coleman.
   2 ! See http://factorcode.org/license.txt for BSD license.
   3 USING: math.primes.safe math.primes.safe.private tools.test ;
   4
   5 { 863 } [ 862 next-safe-prime ] unit-test
   6 { f } [ 862 safe-prime? ] unit-test
   7 { t } [ 7 safe-prime? ] unit-test
   8 { f } [ 31 safe-prime? ] unit-test
   9 { t } [ 47 safe-prime-candidate? ] unit-test
  10 { t } [ 47 safe-prime? ] unit-test
  11 { t } [ 863 safe-prime? ] unit-test
  12
  13 { 47 } [ 31 next-safe-prime ] unit-test