]> gitweb.factorcode.org Git - factor.git/blob - basis/math/primes/miller-rabin/miller-rabin-tests.factor
core: Rename iota to <iota> so we can have TUPLE: iota ... ; instead of TUPLE: iota...
[factor.git] / basis / math / primes / miller-rabin / miller-rabin-tests.factor
1 USING: kernel math.primes.miller-rabin sequences tools.test ;
2 IN: math.primes.miller-rabin.tests
3
4 { f } [ 473155932665450549999756893736999469773678960651272093993257221235459777950185377130233556540099119926369437865330559863 miller-rabin ] unit-test
5 { t } [ 2 miller-rabin ] unit-test
6 { t } [ 3 miller-rabin ] unit-test
7 { f } [ 36 miller-rabin ] unit-test
8 { t } [ 37 miller-rabin ] unit-test
9 { t } [ 2135623355842621559 miller-rabin ] unit-test
10
11 { f } [ 1000 <iota> [ drop 15 miller-rabin ] any? ] unit-test