From 5376587fb36d48e35b962fa4b2c530c91c2c53b3 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Wed, 4 Jan 2017 14:16:58 -0800 Subject: [PATCH] math.cardinality: adding some tests. --- extra/math/cardinality/cardinality-tests.factor | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 extra/math/cardinality/cardinality-tests.factor diff --git a/extra/math/cardinality/cardinality-tests.factor b/extra/math/cardinality/cardinality-tests.factor new file mode 100644 index 0000000000..f1d733a506 --- /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