math.cardinality: adding some tests.

diff --git a/extra/math/cardinality/cardinality-tests.factor b/extra/math/cardinality/cardinality-tests.factor
new file mode 100644 (file)
index 0000000..f1d733a
--- /dev/null
+++ b/extra/math/cardinality/cardinality-tests.factor
@@ -0,0 +1,14 @@
+USING: kernel layouts literals math math.cardinality
+math.functions random sequences tools.test ;
+
+${ fixnum-bits } [ 0 trailing-zeros ] unit-test
+{ 0 } [ 0b1 trailing-zeros ] unit-test
+{ 1 } [ 0b10 trailing-zeros ] unit-test
+{ 2 } [ 0b100 trailing-zeros ] unit-test
+{ 3 } [ 0b1000 trailing-zeros ] unit-test
+
+{ t } [
+    10 [
+        10,000 [ random-units 10 estimate-cardinality ] [ / ] bi
+    ] replicate [ 1.0 0.10 ~ ] all?
+] unit-test