open Tp4;;

assert (somme_liste [1; 3; 2] = 6);;

assert (taille_liste [1; 3; 2] = 3);;

assert (pow 4 3 = 64);;

assert (part_ent_log2 10 = 3);;

assert (est_dans_liste 2 [1; 3; 2]);;
assert (not (est_dans_liste 4 [1; 3; 2]));;

assert (biggest [0; 7; 4] == 7);;

assert (abs_float (prod [1.5; 2.; 3.] -. 9.) <= 1e-14 );;

assert (is_ordered [1; 5; 6]);;
assert (not (is_ordered [5.6; 7.8; 3.]));;

assert (has_ordering [1; 1; 2; 2; 3]);;
assert (has_ordering [3; 2; 1; 1]);;
assert (not (has_ordering [1; 1; 2; 1]));;