]> gitweb.factorcode.org Git - factor.git/commitdiff
Added some fun identities
authorDoug Coleman <erg@trifocus.net>
Wed, 19 Oct 2005 06:55:36 +0000 (06:55 +0000)
committerDoug Coleman <erg@trifocus.net>
Wed, 19 Oct 2005 06:55:36 +0000 (06:55 +0000)
contrib/crypto/probability.factor

index 889f92cd0dd716b09473ef7f5a299b83c07f2dd9..acde59187947f356f0602d40a25ac6f95bf3f491 100644 (file)
@@ -139,7 +139,11 @@ IN: math
     [ t ] [ 3 gamma 2 - abs .0001 < ] unit-test
     [ t ] [ 11 gamma 3628800 - abs .0001 < ] unit-test
     [ t ] [ 90000000000000000000000000000000000000000000 gamma inf = ] unit-test
-
+    ! some fun identities
+    [ t ] [ 2/3 gamma 2 pi * 3 sqrt 1/3 gamma * / - abs .00001 < ] unit-test
+    [ t ] [ 3/4 gamma 2 sqrt pi * 1/4 gamma / - abs .0001 < ] unit-test
+    [ t ] [ 4/5 gamma 2 5 sqrt / 2 + sqrt pi * 1/5 gamma / - abs .0001 < ] unit-test
+    [ t ] [ 3/5 gamma 2 2 5 sqrt / - sqrt pi * 2/5 gamma / - abs .0001 < ] unit-test
 
     [ t ] [ -90000000000000000000000000000000000000000000 gammaln inf = ] unit-test
     [ t ] [ -1.5 gammaln inf = ] unit-test