Add examples/zarith

Author: monadius

examples/zarith/solution.ml

@@ -0,0 +1,10 @@
+let fib_zarith n =
+  let rec fib n a b =
+    if n = 0 then a else fib (n - 1) b (Z.add a b) in
+  Z.rem (fib n Z.zero Z.one) (Z.of_int 1000007)
+
+let fib_num n =
+  let open Big_int in
+  let rec fib n a b =
+    if n = 0 then a else fib (n - 1) b (add_big_int a b) in
+  mod_big_int (fib n zero_big_int unit_big_int) (big_int_of_int 1000007)

examples/zarith/tests.ml

@@ -0,0 +1,16 @@
+open OUnit
+
+let suite = [
+    "fib_zarith tests" >:::
+        [
+            "Testing 42" >:: (fun _ -> assert_equal (Z.of_int 912427) (Solution.fib_zarith 42) ~cmp:Z.equal ~printer:Z.to_string);
+            "Testing 100000" >:: (fun _ -> assert_equal (Z.of_int 584523) (Solution.fib_zarith 100000) ~cmp:Z.equal ~printer:Z.to_string);
+            "Testing 1000000" >:: (fun _ -> assert_equal (Z.of_int 930254) (Solution.fib_zarith 1000000) ~cmp:Z.equal ~printer:Z.to_string);
+        ];
+    "fib_num tests" >:::
+        [
+            "Testing 42" >:: (fun _ -> assert_equal (Big_int.big_int_of_int 912427) (Solution.fib_num 42) ~cmp:Big_int.eq_big_int ~printer:Big_int.string_of_big_int);
+            "Testing 100000" >:: (fun _ -> assert_equal (Big_int.big_int_of_int 584523) (Solution.fib_num 100000) ~cmp:Big_int.eq_big_int ~printer:Big_int.string_of_big_int);
+            "Testing 1000000" >:: (fun _ -> assert_equal (Big_int.big_int_of_int 930254) (Solution.fib_num 1000000) ~cmp:Big_int.eq_big_int ~printer:Big_int.string_of_big_int);
+        ];        
+    ]