]> gitweb.factorcode.org Git - factor.git/blobdiff - basis/math/primes/factors/factors-tests.factor
factor: add newlines to .factor files
[factor.git] / basis / math / primes / factors / factors-tests.factor
index eea59b6f9b53009326bb3211d410e2429880ca0c..5b88820f1b09cb2c452065f6b99745af785f2071 100644 (file)
@@ -1,4 +1,4 @@
-USING: math.primes.factors sequences tools.test ;
+USING: math math.primes.factors sequences tools.test ;
 
 { { 999983 999983 1000003 } } [ 999969000187000867 factors ] unit-test
 { { } } [ -5 factors ] unit-test
@@ -10,3 +10,40 @@ USING: math.primes.factors sequences tools.test ;
 { { 13 4253 15823 32472893749823741 } } [ 28408516453955558205925627 factors ] unit-test
 { { 1 2 3 4 6 8 12 24 } } [ 24 divisors ] unit-test
 { 24 } [ 360 divisors length ] unit-test
+{ { 1 } } [ 1 divisors ] unit-test
+
+
+{ { 618970019642690137449562111 } } [
+    618970019642690137449562111 factors ! 89 2^ 1 -, prime
+] unit-test
+
+{
+    { 162259276829213363391578010288127 }
+} [
+    ! Mersenne Prime M107
+    107 2^ 1 - factors
+] unit-test
+
+{
+    { 2316528667279 8168603188573 }
+} [
+    18922803457956001611802867 factors
+] unit-test
+
+{ { 35742549198872617291353508656626642567 } } [
+    35742549198872617291353508656626642567 factors ! bell number prime
+] unit-test
+
+! Too slow
+! {
+!     {
+!         618970019642690137449562111
+!         162259276829213363391578010288127
+!         170141183460469231731687303715884105727
+!     }
+! } [
+!     89 2^ 1 -
+!     107 2^ 1 -
+!     127 2^ 1 - * * factors
+! ] unit-test
+