Bug fixes for lcs.diff2html; xml.writer
[factor/jcg.git] / basis / math / miller-rabin / miller-rabin-tests.factor
blob9ca85ea72c5681a63510afb795d8ee914b2d9ae6
1 USING: math.miller-rabin tools.test ;
2 IN: math.miller-rabin.tests
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 [ 101 ] [ 100 next-prime ] unit-test
10 [ 100000000000031 ] [ 100000000000000 next-prime ] unit-test