929 lines
32 KiB
OCaml
929 lines
32 KiB
OCaml
open Test;;
|
|
open Nat;;
|
|
open Big_int;;
|
|
open Ratio;;
|
|
open Int_misc;;
|
|
open Arith_status;;
|
|
|
|
set_error_when_null_denominator false;;
|
|
|
|
let infinite_failure = "infinite or undefined rational number";;
|
|
|
|
testing_function "create_ratio";;
|
|
|
|
let r = create_ratio (big_int_of_int 1) (big_int_of_int (-2)) in
|
|
test 1 eq_big_int (numerator_ratio r, big_int_of_int (-1)) &
|
|
test 2 eq_big_int (denominator_ratio r, big_int_of_int 2);;
|
|
|
|
let r = create_ratio (big_int_of_int 2) (big_int_of_int 3) in
|
|
test 3 eq_big_int (numerator_ratio r, big_int_of_int 2) &
|
|
test 4 eq_big_int (denominator_ratio r, big_int_of_int 3);;
|
|
|
|
set_normalize_ratio true;;
|
|
|
|
let r = create_ratio (big_int_of_int 12) (big_int_of_int (-16)) in
|
|
test 5 eq_big_int (numerator_ratio r, big_int_of_int (-3)) &
|
|
test 6 eq_big_int (denominator_ratio r, big_int_of_int 4);;
|
|
|
|
set_normalize_ratio false;;
|
|
|
|
let r = create_ratio (big_int_of_int 0) (big_int_of_int 0) in
|
|
test 7 eq_big_int (numerator_ratio r, big_int_of_int 0) &
|
|
test 8 eq_big_int (denominator_ratio r, big_int_of_int 0);;
|
|
|
|
testing_function "create_normalized_ratio";;
|
|
|
|
let r = create_normalized_ratio (big_int_of_int 1) (big_int_of_int (-2)) in
|
|
test 1 eq_big_int (numerator_ratio r, big_int_of_int (-1)) &
|
|
test 2 eq_big_int (denominator_ratio r, big_int_of_int 2);;
|
|
|
|
let r = create_normalized_ratio (big_int_of_int 2) (big_int_of_int 3) in
|
|
test 3 eq_big_int (numerator_ratio r, big_int_of_int 2) &
|
|
test 4 eq_big_int (denominator_ratio r, big_int_of_int 3);;
|
|
|
|
set_normalize_ratio true;;
|
|
|
|
let r = create_normalized_ratio (big_int_of_int 12) (big_int_of_int (-16)) in
|
|
test 5 eq_big_int (numerator_ratio r, big_int_of_int (-12)) &
|
|
test 6 eq_big_int (denominator_ratio r, big_int_of_int 16);;
|
|
|
|
set_normalize_ratio false;;
|
|
|
|
let r = create_normalized_ratio (big_int_of_int 1) (big_int_of_int 0) in
|
|
test 7 eq_big_int (numerator_ratio r, big_int_of_int 1) &
|
|
test 8 eq_big_int (denominator_ratio r, big_int_of_int 0);;
|
|
|
|
let r = create_normalized_ratio (big_int_of_int 0) (big_int_of_int 0) in
|
|
test 9 eq_big_int (numerator_ratio r, big_int_of_int 0) &
|
|
test 10 eq_big_int (denominator_ratio r, big_int_of_int 0);;
|
|
|
|
testing_function "null_denominator";;
|
|
|
|
test 1
|
|
eq (null_denominator (create_ratio (big_int_of_int 1) (big_int_of_int (-2))),
|
|
false);;
|
|
test 2 eq
|
|
(null_denominator (create_ratio (big_int_of_int 1) zero_big_int),true);;
|
|
|
|
(*****
|
|
testing_function "verify_null_denominator";;
|
|
|
|
test 1
|
|
eq (verify_null_denominator (ratio_of_string "0/1"), false);;
|
|
test 2
|
|
eq (verify_null_denominator (ratio_of_string "0/0"), true);;
|
|
*****)
|
|
|
|
testing_function "sign_ratio";;
|
|
|
|
test 1
|
|
eq_int (sign_ratio (create_ratio (big_int_of_int (-2)) (big_int_of_int (-3))),
|
|
1);;
|
|
test 2
|
|
eq_int (sign_ratio (create_ratio (big_int_of_int 2) (big_int_of_int (-3))),
|
|
(-1));;
|
|
test 3
|
|
eq_int (sign_ratio (create_ratio zero_big_int (big_int_of_int (-3))), 0);;
|
|
|
|
testing_function "normalize_ratio";;
|
|
|
|
let r = create_ratio (big_int_of_int 12) (big_int_of_int (-16)) in
|
|
normalize_ratio r;
|
|
test 1 eq_big_int (numerator_ratio r, big_int_of_int (-3)) &
|
|
test 2 eq_big_int (denominator_ratio r, big_int_of_int 4);;
|
|
|
|
let r = create_ratio (big_int_of_int (-1)) zero_big_int in
|
|
normalize_ratio r;
|
|
test 3 eq_big_int (numerator_ratio r, big_int_of_int (-1)) &
|
|
test 4 eq_big_int (denominator_ratio r, zero_big_int);;
|
|
|
|
testing_function "report_sign_ratio";;
|
|
|
|
test 1
|
|
eq_big_int (report_sign_ratio
|
|
(create_ratio (big_int_of_int 2) (big_int_of_int (-3)))
|
|
(big_int_of_int 1),
|
|
big_int_of_int (-1));;
|
|
test 2
|
|
eq_big_int (report_sign_ratio
|
|
(create_ratio (big_int_of_int 2) (big_int_of_int 3))
|
|
(big_int_of_int 1),
|
|
big_int_of_int 1);;
|
|
|
|
testing_function "is_integer_ratio";;
|
|
|
|
test 1 eq
|
|
(is_integer_ratio (create_ratio (big_int_of_int 2) (big_int_of_int (-1))),
|
|
true);;
|
|
test 2 eq
|
|
(is_integer_ratio (create_ratio (big_int_of_int 2) (big_int_of_int 3)),
|
|
false);;
|
|
|
|
testing_function "add_ratio";;
|
|
|
|
let r = add_ratio (create_ratio (big_int_of_int 1) (big_int_of_int 2))
|
|
(create_ratio (big_int_of_int 2) (big_int_of_int 3)) in
|
|
test 1 eq_big_int (numerator_ratio r, big_int_of_int 7) &
|
|
test 2 eq_big_int (denominator_ratio r, big_int_of_int 6);;
|
|
|
|
let r = add_ratio (create_ratio (big_int_of_int 2) (big_int_of_int 3))
|
|
(create_ratio (big_int_of_int 1) (big_int_of_int (-2))) in
|
|
test 3 eq_big_int (numerator_ratio r, big_int_of_int 1) &
|
|
test 4 eq_big_int (denominator_ratio r, big_int_of_int 6);;
|
|
|
|
let r = add_ratio (create_ratio (big_int_of_int 2) zero_big_int)
|
|
(create_ratio (big_int_of_int 1) (big_int_of_int (-2))) in
|
|
test 5 eq_big_int (numerator_ratio r, big_int_of_int 4) &
|
|
test 6 eq_big_int (denominator_ratio r, zero_big_int);;
|
|
|
|
let r = add_ratio (create_ratio (big_int_of_int 2) (big_int_of_int 3))
|
|
(create_ratio (big_int_of_int 1) zero_big_int) in
|
|
test 7 eq_big_int (numerator_ratio r, big_int_of_int 3) &
|
|
test 8 eq_big_int (denominator_ratio r, zero_big_int);;
|
|
|
|
let r = add_ratio (create_ratio (big_int_of_int 2) zero_big_int)
|
|
(create_ratio (big_int_of_int 1) zero_big_int) in
|
|
test 9 eq_big_int (numerator_ratio r, zero_big_int) &
|
|
test 10 eq_big_int (denominator_ratio r, zero_big_int);;
|
|
|
|
let r = add_ratio (create_ratio (big_int_of_string "12724951")
|
|
(big_int_of_string "26542080"))
|
|
(create_ratio (big_int_of_string "-1")
|
|
(big_int_of_string "81749606400")) in
|
|
test 11 eq_big_int (numerator_ratio r,
|
|
big_int_of_string "1040259735682744320") &
|
|
test 12 eq_big_int (denominator_ratio r,
|
|
big_int_of_string "2169804593037312000");;
|
|
|
|
let r1,r2 =
|
|
(create_ratio (big_int_of_string "12724951")
|
|
(big_int_of_string "26542080"),
|
|
create_ratio (big_int_of_string "-1")
|
|
(big_int_of_string "81749606400")) in
|
|
|
|
let bi1 = mult_big_int (numerator_ratio r1) (denominator_ratio r2)
|
|
and bi2 = mult_big_int (numerator_ratio r2) (denominator_ratio r1)
|
|
in
|
|
test 1
|
|
eq_big_int (bi1,
|
|
big_int_of_string "1040259735709286400")
|
|
&
|
|
test 2
|
|
eq_big_int (bi2,
|
|
big_int_of_string "-26542080")
|
|
& test 3
|
|
eq_big_int (mult_big_int (denominator_ratio r1) (denominator_ratio r2),
|
|
big_int_of_string "2169804593037312000")
|
|
& test 4
|
|
eq_big_int (add_big_int bi1 bi2,
|
|
big_int_of_string "1040259735682744320")
|
|
;;
|
|
|
|
testing_function "sub_ratio";;
|
|
|
|
let r = sub_ratio (create_ratio (big_int_of_int 2) (big_int_of_int 3))
|
|
(create_ratio (big_int_of_int 1) (big_int_of_int 2)) in
|
|
test 1 eq_big_int (numerator_ratio r, big_int_of_int 1) &
|
|
test 2 eq_big_int (denominator_ratio r, big_int_of_int 6);;
|
|
|
|
let r = sub_ratio (create_ratio (big_int_of_int 2) zero_big_int)
|
|
(create_ratio (big_int_of_int 1) (big_int_of_int (-2))) in
|
|
test 3 eq_big_int (numerator_ratio r, big_int_of_int 4) &
|
|
test 4 eq_big_int (denominator_ratio r, zero_big_int);;
|
|
|
|
let r = sub_ratio (create_ratio (big_int_of_int 2) (big_int_of_int 3))
|
|
(create_ratio (big_int_of_int 1) zero_big_int) in
|
|
test 5 eq_big_int (numerator_ratio r, big_int_of_int (-3)) &
|
|
test 6 eq_big_int (denominator_ratio r, zero_big_int);;
|
|
|
|
let r = sub_ratio (create_ratio (big_int_of_int 2) zero_big_int)
|
|
(create_ratio (big_int_of_int 1) zero_big_int) in
|
|
test 7 eq_big_int (numerator_ratio r, zero_big_int) &
|
|
test 8 eq_big_int (denominator_ratio r, zero_big_int);;
|
|
|
|
testing_function "mult_ratio";;
|
|
|
|
let r = mult_ratio (create_ratio (big_int_of_int 2) (big_int_of_int 3))
|
|
(create_ratio (big_int_of_int 7) (big_int_of_int 5)) in
|
|
test 1 eq_big_int (numerator_ratio r, big_int_of_int 14) &
|
|
test 2 eq_big_int (denominator_ratio r, big_int_of_int 15);;
|
|
|
|
let r = mult_ratio (create_ratio (big_int_of_int 2) zero_big_int)
|
|
(create_ratio (big_int_of_int 1) (big_int_of_int (-2))) in
|
|
test 3 eq_big_int (numerator_ratio r, big_int_of_int (-2)) &
|
|
test 4 eq_big_int (denominator_ratio r, zero_big_int);;
|
|
|
|
let r = mult_ratio (create_ratio (big_int_of_int 2) (big_int_of_int 3))
|
|
(create_ratio (big_int_of_int 1) zero_big_int) in
|
|
test 5 eq_big_int (numerator_ratio r, big_int_of_int 2) &
|
|
test 6 eq_big_int (denominator_ratio r, zero_big_int);;
|
|
|
|
let r = mult_ratio (create_ratio (big_int_of_int 2) zero_big_int)
|
|
(create_ratio (big_int_of_int 1) zero_big_int) in
|
|
test 7 eq_big_int (numerator_ratio r, big_int_of_int 2) &
|
|
test 8 eq_big_int (denominator_ratio r, zero_big_int);;
|
|
|
|
testing_function "div_ratio";;
|
|
|
|
let r = div_ratio (create_ratio (big_int_of_int 2) (big_int_of_int 3))
|
|
(create_ratio (big_int_of_int 5) (big_int_of_int 7)) in
|
|
test 1 eq_big_int (numerator_ratio r, big_int_of_int 14) &
|
|
test 2 eq_big_int (denominator_ratio r, big_int_of_int 15);;
|
|
|
|
let r = div_ratio (create_ratio (big_int_of_int 2) zero_big_int)
|
|
(create_ratio (big_int_of_int 1) (big_int_of_int (-2))) in
|
|
test 3 eq_big_int (numerator_ratio r, big_int_of_int (-4)) &
|
|
test 4 eq_big_int (denominator_ratio r, zero_big_int);;
|
|
|
|
let r = div_ratio (create_ratio (big_int_of_int 2) (big_int_of_int 3))
|
|
(create_ratio (big_int_of_int 1) zero_big_int) in
|
|
test 5 eq_big_int (numerator_ratio r, zero_big_int) &
|
|
test 6 eq_big_int (denominator_ratio r, big_int_of_int 3);;
|
|
|
|
let r = div_ratio (create_ratio (big_int_of_int 2) zero_big_int)
|
|
(create_ratio (big_int_of_int 1) zero_big_int) in
|
|
test 7 eq_big_int (numerator_ratio r, zero_big_int) &
|
|
test 8 eq_big_int (denominator_ratio r, zero_big_int);;
|
|
|
|
testing_function "integer_ratio";;
|
|
|
|
test 1
|
|
eq_big_int (integer_ratio
|
|
(create_ratio (big_int_of_int 5) (big_int_of_int 3)),
|
|
big_int_of_int 1);;
|
|
test 2
|
|
eq_big_int (integer_ratio
|
|
(create_ratio (big_int_of_int 5) (big_int_of_int (-3))),
|
|
big_int_of_int (-1));;
|
|
test 3
|
|
eq_big_int (integer_ratio
|
|
(create_ratio (big_int_of_int 3) (big_int_of_int 2)),
|
|
big_int_of_int 1);;
|
|
test 4
|
|
eq_big_int (integer_ratio
|
|
(create_ratio (big_int_of_int 3) (big_int_of_int (-2))),
|
|
big_int_of_int (-1));;
|
|
|
|
failwith_test 5
|
|
integer_ratio (create_ratio (big_int_of_int 3) zero_big_int)
|
|
(Failure("integer_ratio "^infinite_failure));;
|
|
|
|
testing_function "floor_ratio";;
|
|
|
|
test 1
|
|
eq_big_int (floor_ratio
|
|
(create_ratio (big_int_of_int 5) (big_int_of_int 3)),
|
|
big_int_of_int 1);;
|
|
test 2
|
|
eq_big_int (floor_ratio
|
|
(create_ratio (big_int_of_int 5) (big_int_of_int (-3))),
|
|
big_int_of_int (-2));;
|
|
test 3
|
|
eq_big_int (floor_ratio
|
|
(create_ratio (big_int_of_int 3) (big_int_of_int 2)),
|
|
big_int_of_int 1);;
|
|
test 4
|
|
eq_big_int (floor_ratio
|
|
(create_ratio (big_int_of_int 3) (big_int_of_int (-2))),
|
|
big_int_of_int (-2));;
|
|
|
|
failwith_test 5 floor_ratio (create_ratio (big_int_of_int 3) zero_big_int)
|
|
Division_by_zero;;
|
|
|
|
|
|
testing_function "round_ratio";;
|
|
|
|
test 1
|
|
eq_big_int (round_ratio
|
|
(create_ratio (big_int_of_int 5) (big_int_of_int 3)),
|
|
big_int_of_int 2);;
|
|
test 2
|
|
eq_big_int (round_ratio
|
|
(create_ratio (big_int_of_int 5) (big_int_of_int (-3))),
|
|
big_int_of_int (-2));;
|
|
test 3
|
|
eq_big_int (round_ratio
|
|
(create_ratio (big_int_of_int 3) (big_int_of_int 2)),
|
|
big_int_of_int 2);;
|
|
test 4
|
|
eq_big_int (round_ratio
|
|
(create_ratio (big_int_of_int 3) (big_int_of_int (-2))),
|
|
big_int_of_int (-2));;
|
|
|
|
failwith_test 5
|
|
round_ratio (create_ratio (big_int_of_int 3) zero_big_int)
|
|
Division_by_zero;;
|
|
|
|
|
|
testing_function "ceiling_ratio";;
|
|
|
|
test 1
|
|
eq_big_int (ceiling_ratio
|
|
(create_ratio (big_int_of_int 5) (big_int_of_int 3)),
|
|
big_int_of_int 2);;
|
|
test 2
|
|
eq_big_int (ceiling_ratio
|
|
(create_ratio (big_int_of_int 5) (big_int_of_int (-3))),
|
|
big_int_of_int (-1));;
|
|
test 3
|
|
eq_big_int (ceiling_ratio
|
|
(create_ratio (big_int_of_int 3) (big_int_of_int 2)),
|
|
big_int_of_int 2);;
|
|
test 4
|
|
eq_big_int (ceiling_ratio
|
|
(create_ratio (big_int_of_int 3) (big_int_of_int (-2))),
|
|
big_int_of_int (-1));;
|
|
test 5
|
|
eq_big_int (ceiling_ratio
|
|
(create_ratio (big_int_of_int 4) (big_int_of_int 2)),
|
|
big_int_of_int 2);;
|
|
failwith_test 6
|
|
ceiling_ratio (create_ratio (big_int_of_int 3) zero_big_int)
|
|
Division_by_zero;;
|
|
|
|
testing_function "eq_ratio";;
|
|
|
|
test 1
|
|
eq_ratio (create_ratio (big_int_of_int 5) (big_int_of_int 3),
|
|
create_ratio (big_int_of_int (-20)) (big_int_of_int (-12)));;
|
|
test 2
|
|
eq_ratio (create_ratio (big_int_of_int 1) zero_big_int,
|
|
create_ratio (big_int_of_int 2) zero_big_int);;
|
|
|
|
let neq_ratio x y = not (eq_ratio x y);;
|
|
|
|
test 3
|
|
neq_ratio (create_ratio (big_int_of_int 1) zero_big_int,
|
|
create_ratio (big_int_of_int (-1)) zero_big_int);;
|
|
test 4
|
|
neq_ratio (create_ratio (big_int_of_int 1) zero_big_int,
|
|
create_ratio zero_big_int zero_big_int);;
|
|
test 5
|
|
eq_ratio (create_ratio zero_big_int zero_big_int,
|
|
create_ratio zero_big_int zero_big_int);;
|
|
|
|
testing_function "compare_ratio";;
|
|
|
|
test 1
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int 0) (big_int_of_int 0))
|
|
(create_ratio (big_int_of_int 0) (big_int_of_int 0)),
|
|
0);;
|
|
test 2
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int 0) (big_int_of_int 0))
|
|
(create_ratio (big_int_of_int 1) (big_int_of_int 0)),
|
|
0);;
|
|
test 3
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int 0) (big_int_of_int 0))
|
|
(create_ratio (big_int_of_int (-1)) (big_int_of_int 0)),
|
|
0);;
|
|
test 4
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int 1) (big_int_of_int 0))
|
|
(create_ratio (big_int_of_int 0) (big_int_of_int 0)),
|
|
0);;
|
|
test 5
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int (-1)) (big_int_of_int 0))
|
|
(create_ratio (big_int_of_int 0) (big_int_of_int 0)),
|
|
0);;
|
|
test 6
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int 0) (big_int_of_int 0))
|
|
(create_ratio (big_int_of_int 5) (big_int_of_int 3)),
|
|
0);;
|
|
test 7
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int 5) (big_int_of_int 3))
|
|
(create_ratio (big_int_of_int 0) (big_int_of_int 0)),
|
|
0);;
|
|
test 8
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int 0) (big_int_of_int 0))
|
|
(create_ratio (big_int_of_int (-5)) (big_int_of_int 3)),
|
|
0);;
|
|
test 9
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int (-5)) (big_int_of_int 3))
|
|
(create_ratio (big_int_of_int 0) (big_int_of_int 0)),
|
|
0);;
|
|
test 10
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int 0) (big_int_of_int 0))
|
|
(create_ratio (big_int_of_int 0) (big_int_of_int 1)),
|
|
0);;
|
|
test 11
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int 0) (big_int_of_int 1))
|
|
(create_ratio (big_int_of_int 0) (big_int_of_int 0)),
|
|
0);;
|
|
test 12
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int 1) (big_int_of_int 0))
|
|
(create_ratio (big_int_of_int 1) (big_int_of_int 0)),
|
|
0);;
|
|
test 13
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int 1) (big_int_of_int 0))
|
|
(create_ratio (big_int_of_int 2) (big_int_of_int 0)),
|
|
0);;
|
|
test 14
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int 1) (big_int_of_int 0))
|
|
(create_ratio (big_int_of_int (-1)) (big_int_of_int 0)),
|
|
1);;
|
|
test 15
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int (-1)) (big_int_of_int 0))
|
|
(create_ratio (big_int_of_int 1) (big_int_of_int 0)),
|
|
(-1));;
|
|
test 16
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int 5) (big_int_of_int 3))
|
|
(create_ratio (big_int_of_int 1) (big_int_of_int 0)),
|
|
(-1));;
|
|
test 17
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int 1) (big_int_of_int 0))
|
|
(create_ratio (big_int_of_int 5) (big_int_of_int 3)),
|
|
1);;
|
|
test 18
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int (-5)) (big_int_of_int 3))
|
|
(create_ratio (big_int_of_int 1) (big_int_of_int 0)),
|
|
(-1));;
|
|
test 19
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int 1) (big_int_of_int 0))
|
|
(create_ratio (big_int_of_int (-5)) (big_int_of_int 3)),
|
|
1);;
|
|
test 20
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int 1) (big_int_of_int 0))
|
|
(create_ratio (big_int_of_int 0) (big_int_of_int 3)),
|
|
1);;
|
|
test 21
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int (-1)) (big_int_of_int 0))
|
|
(create_ratio (big_int_of_int (-1)) (big_int_of_int 0)),
|
|
0);;
|
|
test 22
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int (-1)) (big_int_of_int 0))
|
|
(create_ratio (big_int_of_int (-2)) (big_int_of_int 0)),
|
|
0);;
|
|
test 23
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int 5) (big_int_of_int 3))
|
|
(create_ratio (big_int_of_int (-1)) (big_int_of_int 0)),
|
|
1);;
|
|
test 24
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int (-1)) (big_int_of_int 0))
|
|
(create_ratio (big_int_of_int 5) (big_int_of_int 3)),
|
|
(-1));;
|
|
test 25
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int (-5)) (big_int_of_int 3))
|
|
(create_ratio (big_int_of_int (-1)) (big_int_of_int 0)),
|
|
1);;
|
|
test 26
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int (-1)) (big_int_of_int 0))
|
|
(create_ratio (big_int_of_int (-5)) (big_int_of_int 3)),
|
|
(-1));;
|
|
test 27
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int (-1)) (big_int_of_int 0))
|
|
(create_ratio (big_int_of_int 0) (big_int_of_int 3)),
|
|
(-1));;
|
|
test 28
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int 5) (big_int_of_int 3))
|
|
(create_ratio (big_int_of_int 3) (big_int_of_int 2)),
|
|
1);;
|
|
test 29
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int 3) (big_int_of_int 2))
|
|
(create_ratio (big_int_of_int 5) (big_int_of_int 3)),
|
|
(-1));;
|
|
test 30
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int 5) (big_int_of_int 3))
|
|
(create_ratio (big_int_of_int (-3)) (big_int_of_int 2)),
|
|
1);;
|
|
test 31
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int (-3)) (big_int_of_int 2))
|
|
(create_ratio (big_int_of_int 5) (big_int_of_int 3)),
|
|
(-1));;
|
|
test 32
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int 3) (big_int_of_int 2))
|
|
(create_ratio (big_int_of_int 0) (big_int_of_int 3)),
|
|
1);;
|
|
test 33
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int 0) (big_int_of_int 2))
|
|
(create_ratio (big_int_of_int 5) (big_int_of_int 3)),
|
|
(-1));;
|
|
test 34
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int (-3)) (big_int_of_int 2))
|
|
(create_ratio (big_int_of_int 0) (big_int_of_int 3)),
|
|
(-1));;
|
|
test 35
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int 0) (big_int_of_int 2))
|
|
(create_ratio (big_int_of_int (-5)) (big_int_of_int 3)),
|
|
1);;
|
|
test 36
|
|
eq_int (compare_ratio (create_ratio (big_int_of_int 0) (big_int_of_int 2))
|
|
(create_ratio (big_int_of_int 0) (big_int_of_int 3)),
|
|
0);;
|
|
|
|
testing_function "eq_big_int_ratio";;
|
|
|
|
test 1
|
|
eq_big_int_ratio (big_int_of_int 3,
|
|
(create_ratio (big_int_of_int 3) (big_int_of_int 1)));;
|
|
test 2
|
|
eq
|
|
(not (eq_big_int_ratio (big_int_of_int 1)
|
|
(create_ratio (big_int_of_int 3) (big_int_of_int 1))),
|
|
true);;
|
|
|
|
test 3
|
|
eq
|
|
(not (eq_big_int_ratio (big_int_of_int 1)
|
|
(create_ratio (big_int_of_int 3) (big_int_of_int 2))),
|
|
true);;
|
|
|
|
test 4
|
|
eq
|
|
(not (eq_big_int_ratio (big_int_of_int 1)
|
|
(create_ratio (big_int_of_int 3) (big_int_of_int 0))),
|
|
true);;
|
|
|
|
test 5
|
|
eq
|
|
(not (eq_big_int_ratio (big_int_of_int 1)
|
|
(create_ratio (big_int_of_int (-3)) (big_int_of_int 2))),
|
|
true);;
|
|
|
|
testing_function "compare_big_int_ratio";;
|
|
|
|
test 1
|
|
eq_int (compare_big_int_ratio
|
|
(big_int_of_int 1)
|
|
(create_ratio (big_int_of_int 3) (big_int_of_int 0)), (-1));;
|
|
test 2
|
|
eq_int (compare_big_int_ratio
|
|
(big_int_of_int 1)
|
|
(create_ratio (big_int_of_int 0) (big_int_of_int 0)), 0);;
|
|
test 3
|
|
eq_int (compare_big_int_ratio
|
|
(big_int_of_int 1)
|
|
(create_ratio (big_int_of_int (-3)) (big_int_of_int 0)), 1);;
|
|
test 4
|
|
eq_int (compare_big_int_ratio
|
|
(big_int_of_int (-1))
|
|
(create_ratio (big_int_of_int 3) (big_int_of_int 0)), (-1));;
|
|
test 5
|
|
eq_int (compare_big_int_ratio
|
|
(big_int_of_int (-1))
|
|
(create_ratio (big_int_of_int 0) (big_int_of_int 0)), 0);;
|
|
test 6
|
|
eq_int (compare_big_int_ratio
|
|
(big_int_of_int (-1))
|
|
(create_ratio (big_int_of_int (-3)) (big_int_of_int 0)), 1);;
|
|
test 7
|
|
eq_int (compare_big_int_ratio
|
|
(big_int_of_int 1)
|
|
(create_ratio (big_int_of_int 1) (big_int_of_int 1)), 0);;
|
|
test 8
|
|
eq_int (compare_big_int_ratio
|
|
(big_int_of_int 1)
|
|
(create_ratio (big_int_of_int 3) (big_int_of_int 2)), (-1));;
|
|
test 9
|
|
eq_int (compare_big_int_ratio
|
|
(big_int_of_int 1)
|
|
(create_ratio (big_int_of_int 2) (big_int_of_int 3)), 1);;
|
|
|
|
|
|
|
|
testing_function "int_of_ratio";;
|
|
|
|
test 1
|
|
eq_int (int_of_ratio (create_ratio (big_int_of_int 4) (big_int_of_int 2)),
|
|
2);;
|
|
|
|
test 2
|
|
eq_int (int_of_ratio
|
|
(create_ratio (big_int_of_int biggest_int) (big_int_of_int 1)),
|
|
biggest_int);;
|
|
|
|
failwith_test 3
|
|
int_of_ratio (create_ratio (big_int_of_int 4) (big_int_of_int 0))
|
|
(Failure "integer argument required");;
|
|
|
|
failwith_test 4
|
|
int_of_ratio (create_ratio (succ_big_int (big_int_of_int biggest_int))
|
|
(big_int_of_int 1))
|
|
(Failure "integer argument required");;
|
|
|
|
failwith_test 5
|
|
int_of_ratio (create_ratio (big_int_of_int 4) (big_int_of_int 3))
|
|
(Failure "integer argument required");;
|
|
|
|
testing_function "ratio_of_int";;
|
|
|
|
test 1
|
|
eq_ratio (ratio_of_int 3,
|
|
create_ratio (big_int_of_int 3) (big_int_of_int 1));;
|
|
|
|
test 2
|
|
eq_ratio (ratio_of_nat (nat_of_int 2),
|
|
create_ratio (big_int_of_int 2) (big_int_of_int 1));;
|
|
|
|
testing_function "nat_of_ratio";;
|
|
|
|
let nat1 = nat_of_ratio (create_ratio (big_int_of_int 3) (big_int_of_int 1))
|
|
and nat2 = nat_of_int 3 in
|
|
test 1
|
|
eq (eq_nat nat1 0 (length_nat nat1) nat2 0 (length_nat nat2), true)
|
|
;;
|
|
|
|
failwith_test 2
|
|
nat_of_ratio (create_ratio (big_int_of_int 3) (big_int_of_int 0))
|
|
(Failure "nat_of_ratio");;
|
|
|
|
failwith_test 3
|
|
nat_of_ratio (create_ratio (big_int_of_int (-3)) (big_int_of_int 1))
|
|
(Failure "nat_of_ratio");;
|
|
|
|
failwith_test 4
|
|
nat_of_ratio (create_ratio (big_int_of_int 3) (big_int_of_int 2))
|
|
(Failure "nat_of_ratio");;
|
|
|
|
testing_function "ratio_of_big_int";;
|
|
|
|
test 1
|
|
eq_ratio (ratio_of_big_int (big_int_of_int 3),
|
|
create_ratio (big_int_of_int 3) (big_int_of_int 1));;
|
|
|
|
testing_function "big_int_of_ratio";;
|
|
|
|
test 1
|
|
eq_big_int (big_int_of_ratio
|
|
(create_ratio (big_int_of_int 3) (big_int_of_int 1)),
|
|
big_int_of_int 3);;
|
|
test 2
|
|
eq_big_int (big_int_of_ratio
|
|
(create_ratio (big_int_of_int (-3)) (big_int_of_int 1)),
|
|
big_int_of_int (-3));;
|
|
|
|
failwith_test 3
|
|
big_int_of_ratio (create_ratio (big_int_of_int 3) (big_int_of_int 0))
|
|
(Failure "big_int_of_ratio");;
|
|
|
|
testing_function "string_of_ratio";;
|
|
|
|
test 1
|
|
eq_string (string_of_ratio
|
|
(create_ratio (big_int_of_int 43) (big_int_of_int 35)),
|
|
"43/35");;
|
|
test 2
|
|
eq_string (string_of_ratio
|
|
(create_ratio (big_int_of_int 42) (big_int_of_int 0)),
|
|
"1/0");;
|
|
|
|
set_normalize_ratio_when_printing false;;
|
|
|
|
test 3
|
|
eq_string (string_of_ratio
|
|
(create_ratio (big_int_of_int 42) (big_int_of_int 35)),
|
|
"42/35");;
|
|
|
|
set_normalize_ratio_when_printing true;;
|
|
|
|
test 4
|
|
eq_string (string_of_ratio
|
|
(create_ratio (big_int_of_int 42) (big_int_of_int 35)),
|
|
"6/5");;
|
|
|
|
testing_function "ratio_of_string";;
|
|
|
|
test 1
|
|
eq_ratio (ratio_of_string ("123/3456"),
|
|
create_ratio (big_int_of_int 123) (big_int_of_int 3456));;
|
|
|
|
(***********
|
|
test 2
|
|
eq_ratio (ratio_of_string ("12.3/34.56"),
|
|
create_ratio (big_int_of_int 1230) (big_int_of_int 3456));;
|
|
test 3
|
|
eq_ratio (ratio_of_string ("1.23/325.6"),
|
|
create_ratio (big_int_of_int 123) (big_int_of_int 32560));;
|
|
test 4
|
|
eq_ratio (ratio_of_string ("12.3/345.6"),
|
|
create_ratio (big_int_of_int 123) (big_int_of_int 3456));;
|
|
test 5
|
|
eq_ratio (ratio_of_string ("12.3/0.0"),
|
|
create_ratio (big_int_of_int 123) (big_int_of_int 0));;
|
|
***********)
|
|
test 6
|
|
eq_ratio (ratio_of_string ("0/0"),
|
|
create_ratio (big_int_of_int 0) (big_int_of_int 0));;
|
|
|
|
test 7
|
|
eq_ratio (ratio_of_string "1234567890",
|
|
create_ratio (big_int_of_string "1234567890") unit_big_int);;
|
|
failwith_test 8
|
|
ratio_of_string "frlshjkurty" (Failure "invalid digit");;
|
|
|
|
(***********
|
|
testing_function "msd_ratio";;
|
|
|
|
test 1
|
|
eq_int (msd_ratio (create_ratio (big_int_of_int 0) (big_int_of_int 1)),
|
|
0);;
|
|
test 2
|
|
eq_int (msd_ratio (create_ratio (big_int_of_int 1) (big_int_of_int 12)),
|
|
(-2));;
|
|
test 3
|
|
eq_int (msd_ratio (create_ratio (big_int_of_int 12) (big_int_of_int 1)),
|
|
1);;
|
|
test 4
|
|
eq_int (msd_ratio (create_ratio (big_int_of_int 1) (big_int_of_int 2)),
|
|
(-1));;
|
|
test 5
|
|
eq_int (msd_ratio (create_ratio (big_int_of_int 2) (big_int_of_int 1)),
|
|
0);;
|
|
test 6
|
|
eq_int (msd_ratio (create_ratio (big_int_of_int 25) (big_int_of_int 21)),
|
|
0);;
|
|
test 7
|
|
eq_int (msd_ratio (create_ratio (big_int_of_int 35) (big_int_of_int 21)),
|
|
0);;
|
|
test 8
|
|
eq_int (msd_ratio (create_ratio (big_int_of_int 215) (big_int_of_int 31)),
|
|
0);;
|
|
test 9
|
|
eq_int (msd_ratio (create_ratio (big_int_of_int 2) (big_int_of_int 30)),
|
|
(-2));;
|
|
test 10
|
|
eq_int (msd_ratio (create_ratio (big_int_of_int 2345)
|
|
(big_int_of_int 23456)),
|
|
(-2));;
|
|
test 11
|
|
eq_int (msd_ratio (create_ratio (big_int_of_int 2345)
|
|
(big_int_of_int 2346)),
|
|
(-1));;
|
|
test 12
|
|
eq_int (msd_ratio (create_ratio (big_int_of_int 2345)
|
|
(big_int_of_int 2344)),
|
|
0);;
|
|
test 13
|
|
eq_int (msd_ratio (create_ratio (big_int_of_int 23456)
|
|
(big_int_of_int 2345)),
|
|
1);;
|
|
test 14
|
|
eq_int (msd_ratio (create_ratio (big_int_of_int 23467)
|
|
(big_int_of_int 2345)),
|
|
1);;
|
|
failwith_test 15
|
|
msd_ratio (create_ratio (big_int_of_int 1) (big_int_of_int 0))
|
|
("msd_ratio "^infinite_failure);;
|
|
failwith_test 16
|
|
msd_ratio (create_ratio (big_int_of_int (-1)) (big_int_of_int 0))
|
|
("msd_ratio "^infinite_failure);;
|
|
failwith_test 17
|
|
msd_ratio (create_ratio (big_int_of_int 0) (big_int_of_int 0))
|
|
("msd_ratio "^infinite_failure);;
|
|
*************************)
|
|
|
|
testing_function "round_futur_last_digit";;
|
|
|
|
let s = "+123456" in
|
|
test 1 eq (round_futur_last_digit s 1 (pred (String.length s)),
|
|
false) &
|
|
test 2 eq_string (s, "+123466");;
|
|
|
|
let s = "123456" in
|
|
test 3 eq (round_futur_last_digit s 0 (String.length s), false) &
|
|
test 4 eq_string (s, "123466");;
|
|
|
|
let s = "-123456" in
|
|
test 5 eq (round_futur_last_digit s 1 (pred (String.length s)),
|
|
false) &
|
|
test 6 eq_string (s, "-123466");;
|
|
|
|
let s = "+123496" in
|
|
test 7 eq (round_futur_last_digit s 1 (pred (String.length s)),
|
|
false) &
|
|
test 8 eq_string (s, "+123506");;
|
|
|
|
let s = "123496" in
|
|
test 9 eq (round_futur_last_digit s 0 (String.length s), false) &
|
|
test 10 eq_string (s, "123506");;
|
|
|
|
let s = "-123496" in
|
|
test 11 eq (round_futur_last_digit s 1 (pred (String.length s)),
|
|
false) &
|
|
test 12 eq_string (s, "-123506");;
|
|
|
|
let s = "+996" in
|
|
test 13 eq (round_futur_last_digit s 1 (pred (String.length s)),
|
|
true) &
|
|
test 14 eq_string (s, "+006");;
|
|
|
|
let s = "996" in
|
|
test 15 eq (round_futur_last_digit s 0 (String.length s), true) &
|
|
test 16 eq_string (s, "006");;
|
|
|
|
let s = "-996" in
|
|
test 17 eq (round_futur_last_digit s 1 (pred (String.length s)),
|
|
true) &
|
|
test 18 eq_string (s, "-006");;
|
|
|
|
let s = "+6666666" in
|
|
test 19 eq (round_futur_last_digit s 1 (pred (String.length s)),
|
|
false) &
|
|
test 20 eq_string (s, "+6666676") ;;
|
|
|
|
let s = "6666666" in
|
|
test 21 eq (round_futur_last_digit s 0 (String.length s), false) &
|
|
test 22 eq_string (s, "6666676") ;;
|
|
|
|
let s = "-6666666" in
|
|
test 23 eq (round_futur_last_digit s 1 (pred (String.length s)),
|
|
false) &
|
|
test 24 eq_string (s, "-6666676") ;;
|
|
|
|
testing_function "approx_ratio_fix";;
|
|
|
|
let s = approx_ratio_fix 5
|
|
(create_ratio (big_int_of_int 2)
|
|
(big_int_of_int 3)) in
|
|
test 1
|
|
eq_string (s, "+0.66667");;
|
|
|
|
test 2
|
|
eq_string (approx_ratio_fix 5
|
|
(create_ratio (big_int_of_int 20)
|
|
(big_int_of_int 3)),
|
|
"+6.66667");;
|
|
test 3
|
|
eq_string (approx_ratio_fix 5
|
|
(create_ratio (big_int_of_int 2)
|
|
(big_int_of_int 30)),
|
|
"+0.06667");;
|
|
test 4
|
|
eq_string (approx_ratio_fix 5
|
|
(create_ratio (big_int_of_string "999996")
|
|
(big_int_of_string "1000000")),
|
|
"+1.00000");;
|
|
test 5
|
|
eq_string (approx_ratio_fix 5
|
|
(create_ratio (big_int_of_string "299996")
|
|
(big_int_of_string "100000")),
|
|
"+2.99996");;
|
|
test 6
|
|
eq_string (approx_ratio_fix 5
|
|
(create_ratio (big_int_of_string "2999996")
|
|
(big_int_of_string "1000000")),
|
|
"+3.00000");;
|
|
test 7
|
|
eq_string (approx_ratio_fix 4
|
|
(create_ratio (big_int_of_string "299996")
|
|
(big_int_of_string "100000")),
|
|
"+3.0000");;
|
|
test 8
|
|
eq_string (approx_ratio_fix 5
|
|
(create_ratio (big_int_of_int 29996)
|
|
(big_int_of_string "100000")),
|
|
"+0.29996");;
|
|
test 9
|
|
eq_string (approx_ratio_fix 5
|
|
(create_ratio (big_int_of_int 0)
|
|
(big_int_of_int 1)),
|
|
"+0");;
|
|
failwith_test 10
|
|
(approx_ratio_fix 5) (create_ratio (big_int_of_int 1) (big_int_of_int 0))
|
|
(Failure "approx_ratio_fix infinite or undefined rational number");;
|
|
failwith_test 11
|
|
(approx_ratio_fix 5) (create_ratio (big_int_of_int 0) (big_int_of_int 0))
|
|
(Failure "approx_ratio_fix infinite or undefined rational number");;
|
|
|
|
testing_function "approx_ratio_exp";;
|
|
|
|
test 1
|
|
eq_string (approx_ratio_exp 5
|
|
(create_ratio (big_int_of_int 2)
|
|
(big_int_of_int 3)),
|
|
"+0.66667e0");;
|
|
test 2
|
|
eq_string (approx_ratio_exp 5
|
|
(create_ratio (big_int_of_int 20)
|
|
(big_int_of_int 3)),
|
|
"+0.66667e1");;
|
|
test 3
|
|
eq_string (approx_ratio_exp 5
|
|
(create_ratio (big_int_of_int 2)
|
|
(big_int_of_int 30)),
|
|
"+0.66667e-1");;
|
|
test 4
|
|
eq_string (approx_ratio_exp 5
|
|
(create_ratio (big_int_of_string "999996")
|
|
(big_int_of_string "1000000")),
|
|
"+1.00000e0");;
|
|
test 5
|
|
eq_string (approx_ratio_exp 5
|
|
(create_ratio (big_int_of_string "299996")
|
|
(big_int_of_string "100000")),
|
|
"+0.30000e1");;
|
|
test 6
|
|
eq_string (approx_ratio_exp 5
|
|
(create_ratio (big_int_of_int 29996)
|
|
(big_int_of_string "100000")),
|
|
"+0.29996e0");;
|
|
test 7
|
|
eq_string (approx_ratio_exp 5
|
|
(create_ratio (big_int_of_int 0)
|
|
(big_int_of_int 1)),
|
|
"+0.00000e0");;
|
|
failwith_test 8
|
|
(approx_ratio_exp 5) (create_ratio (big_int_of_int 1) (big_int_of_int 0))
|
|
(Failure "approx_ratio_exp infinite or undefined rational number");;
|
|
failwith_test 9
|
|
(approx_ratio_exp 5) (create_ratio (big_int_of_int 0) (big_int_of_int 0))
|
|
(Failure "approx_ratio_exp infinite or undefined rational number");;
|