arkitu/mp2i-info
1
1
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

move tp4 tests

Browse Source
This commit is contained in:
Arkitu 2026-01-13 23:28:06 +01:00
parent 28c918daab
commit b6f6148333
1 changed files with 0 additions and 22 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
tp4/tp4.ml
View File

@ -4,20 +4,14 @@ let rec somme_liste l = match l with
| [] -> 0
| a::q -> a + somme_liste q;;
assert (somme_liste [1; 3; 2] = 6);;
let rec taille_liste l = match l with
| [] -> 0
| _::q -> 1 + taille_liste q;;
assert (taille_liste [1; 3; 2] = 3);;
let rec pow valeur exposant = match exposant with
| 0 -> 1
| i -> valeur * (pow valeur (i - 1));;
assert (pow 4 3 = 64);;
(* On peut remplacer i - 1 par exposant - 1 car les deux noms coexistent. *)
let rec part_ent_log2 nombre =
if nombre = 0 then failwith "Boum !";
@ -25,15 +19,10 @@ let rec part_ent_log2 nombre =
if nombre = 1 then 0
else 1 + (part_ent_log2 (nombre / 2));;
assert (part_ent_log2 10 = 3);;
let rec est_dans_liste element l = match l with
| [] -> false
| a::q -> a = element || est_dans_liste element q;;
assert (est_dans_liste 2 [1; 3; 2]);;
assert (not (est_dans_liste 4 [1; 3; 2]));;
(* Exercice 2 *)
let biggest l = match l with
@ -44,14 +33,10 @@ let biggest l = match l with
q
;;
assert (biggest [0; 7; 4] == 7);;
(* Exercice 3 *)
let prod l = List.fold_left (fun acc x -> acc *. x) 1. l;;
assert (abs_float (prod [1.5; 2.; 3.] -. 9.) <= 1e-14 );;
(* Exercice 4 *)
let rec is_ordered l = match l with
@ -59,9 +44,6 @@ let rec is_ordered l = match l with
| _ -> true
;;
assert (is_ordered [1; 5; 6]);;
assert (not (is_ordered [5.6; 7.8; 3.]));;
(* Exercice 5 *)
let rec is_rev_ordered l = match l with
@ -76,7 +58,3 @@ let rec has_ordering l = match l with
is_rev_ordered (b::q)
else has_ordering (b::q)
| _ -> true;;
assert (has_ordering [1; 1; 2; 2; 3]);;
assert (has_ordering [3; 2; 1; 1]);;
assert (not (has_ordering [1; 1; 2; 1]));;