vault backup: 2023-09-25 14:45:26

2023-09-25 14:45:26 +02:00 · 2023-09-25 14:45:26 +02:00 · 9d5090db08
commit 9d5090db08
parent 34a743966b
1 changed files with 2 additions and 9 deletions
--- a/Algo/Séminaire/Exercices
+++ b/Algo/Séminaire/Exercices
@ -449,12 +449,5 @@ $$
 let prime n =
 	if n < 1 then
 		invalid_args "n should not be inferior to zero"
-	else if n mod 2 = 0 then
-		false
-	else if n mod 3 = 0 then
-		false
-	else if n mod 5 = 0 then
-		false
-	else if n mod 7 = 0 then
-		false
-	else "nombre premier";;
+	else if x = 2 then true
+