Add an algorithm to determine the day of the week given a date in the standard library (#937)

Author: AltGr

stdlib/date_en.catala_en

@@ -245,3 +245,136 @@ declaration is_young_enough_rounding_up
   equals
     not (is_old_enough_rounding_up of birth_date, age, at_date)
 ```
+
+## Days of the week enumeration
+```catala-metadata
+declaration enumeration Days:
+  -- Monday
+  -- Tuesday
+  -- Wednesday
+  -- Thursday
+  -- Friday
+  -- Saturday
+  -- Sunday
+```
+
+## Tomohiko Sakamoto Algorithm : find the Day of the week for a given date
+```catala-metadata
+declaration scope Day_of_the_of_given_date :
+  input output given_date content date
+
+  internal sakamoto_list content (integer, integer, integer, integer, integer, integer, integer, integer, integer, integer, integer, integer)
+  internal month_number content integer
+  internal n_number content integer
+  internal year_number content integer
+
+  internal day_number content integer
+  output day_of_the_week content Days
+```
+
+```catala
+scope Day_of_the_of_given_date :
+  definition sakamoto_list
+  equals (0, 3, 2, 5, 0, 3, 5, 1, 4, 6, 2, 4)
+```
+```catala
+scope Day_of_the_of_given_date :
+  definition month_number
+  equals get_month of given_date
+```
+```catala
+scope Day_of_the_of_given_date :
+  definition year_number
+  equals 
+    if month_number < 3
+      then get_year of given_date - 1
+    else get_year of given_date 
+```
+
+```catala
+scope Day_of_the_of_given_date :
+  definition n_number under condition
+    month_number = 1
+  consequence equals sakamoto_list.1
+  definition n_number under condition
+    month_number = 2
+  consequence equals sakamoto_list.2
+
+  definition n_number under condition
+    month_number = 3
+  consequence equals sakamoto_list.3
+
+  definition n_number under condition
+    month_number = 4
+  consequence equals sakamoto_list.4
+
+  definition n_number under condition
+    month_number = 5
+  consequence equals sakamoto_list.5
+
+  definition n_number under condition
+    month_number = 6
+  consequence equals sakamoto_list.6
+
+  definition n_number under condition
+    month_number = 7
+  consequence equals sakamoto_list.7
+
+  definition n_number under condition
+    month_number = 8
+  consequence equals sakamoto_list.8
+
+  definition n_number under condition
+    month_number = 9
+  consequence equals sakamoto_list.9
+
+  definition n_number under condition
+    month_number = 10
+  consequence equals sakamoto_list.10
+
+  definition n_number under condition
+    month_number = 11
+  consequence equals sakamoto_list.11
+
+  definition n_number under condition
+    month_number = 12
+  consequence equals sakamoto_list.12
+```
+
+```catala
+scope Day_of_the_of_given_date :
+  definition day_number
+  equals 
+    (year_number + integer of (year_number / 4) - integer of (year_number / 100) + integer of (year_number / 400) + n_number + get_day of given_date) 
+    - 7 * integer of ((year_number + integer of (year_number / 4) - integer of (year_number / 100) + integer of (year_number / 400) + n_number + get_day of given_date) /7)
+```
+
+```catala
+scope Day_of_the_of_given_date :
+  definition day_of_the_week under condition
+    day_number = 0
+  consequence equals Sunday
+  definition day_of_the_week under condition
+    day_number = 1
+  consequence equals Monday
+
+  definition day_of_the_week under condition
+    day_number = 2
+  consequence equals Tuesday
+
+  definition day_of_the_week under condition
+    day_number = 3
+  consequence equals Wednesday
+
+  definition day_of_the_week under condition
+    day_number = 4
+  consequence equals Thursday
+
+  definition day_of_the_week under condition
+    day_number = 5
+  consequence equals Friday
+
+  definition day_of_the_week under condition
+    day_number = 6
+  consequence equals Saturday
+```

stdlib/date_fr.catala_fr

@@ -238,3 +238,138 @@ déclaration est_assez_jeune_arrondi_supérieur
   égal à
     non (est_assez_âgé_arrondi_supérieur de date_de_naissance, âge, à_date)
 ```
+
+
+## Gestion des jours de la semaine et des jours fériés
+```catala-metadata
+déclaration énumération Jours:
+  -- Lundi
+  -- Mardi
+  -- Mercredi
+  -- Jeudi
+  -- Vendredi
+  -- Samedi
+  -- Dimanche
+```
+
+## Algorithme de Sakamoto, détermination jour de la semaine d'une date donée
+```catala-metadata
+déclaration champ d'application Jour_de_la_semaine_depuis_date :
+  entrée résultat date_entrée contenu date
+
+  interne liste_Sakamoto contenu (entier, entier, entier, entier, entier, entier, entier, entier, entier, entier, entier, entier)
+  interne mois_nombre contenu entier
+  interne n_nombre contenu entier
+  interne année_nombre contenu entier
+
+  interne jour_nombre contenu entier
+  résultat jour_de_la_semaine_depuis_date contenu Jours
+```
+
+```catala
+champ d'application Jour_de_la_semaine_depuis_date :
+  définition liste_Sakamoto
+  égal à (0, 3, 2, 5, 0, 3, 5, 1, 4, 6, 2, 4)
+```
+```catala
+champ d'application Jour_de_la_semaine_depuis_date :
+  définition mois_nombre
+  égal à accès_mois de date_entrée
+```
+```catala
+champ d'application Jour_de_la_semaine_depuis_date :
+  définition année_nombre
+  égal à 
+    si mois_nombre < 3
+      alors accès_année de date_entrée - 1
+    sinon accès_année de date_entrée 
+```
+
+```catala
+champ d'application Jour_de_la_semaine_depuis_date :
+  définition n_nombre sous condition
+    mois_nombre = 1
+  conséquence égal à liste_Sakamoto.1
+  définition n_nombre sous condition
+    mois_nombre = 2
+  conséquence égal à liste_Sakamoto.2
+
+  définition n_nombre sous condition
+    mois_nombre = 3
+  conséquence égal à liste_Sakamoto.3
+
+  définition n_nombre sous condition
+    mois_nombre = 4
+  conséquence égal à liste_Sakamoto.4
+
+  définition n_nombre sous condition
+    mois_nombre = 5
+  conséquence égal à liste_Sakamoto.5
+
+  définition n_nombre sous condition
+    mois_nombre = 6
+  conséquence égal à liste_Sakamoto.6
+
+  définition n_nombre sous condition
+    mois_nombre = 7
+  conséquence égal à liste_Sakamoto.7
+
+  définition n_nombre sous condition
+    mois_nombre = 8
+  conséquence égal à liste_Sakamoto.8
+
+  définition n_nombre sous condition
+    mois_nombre = 9
+  conséquence égal à liste_Sakamoto.9
+
+  définition n_nombre sous condition
+    mois_nombre = 10
+  conséquence égal à liste_Sakamoto.10
+
+  définition n_nombre sous condition
+    mois_nombre = 11
+  conséquence égal à liste_Sakamoto.11
+
+  définition n_nombre sous condition
+    mois_nombre = 12
+  conséquence égal à liste_Sakamoto.12
+```
+
+```catala
+champ d'application Jour_de_la_semaine_depuis_date :
+  définition jour_nombre
+  égal à 
+    (année_nombre + entier de (année_nombre / 4) - entier de (année_nombre / 100) + entier de (année_nombre / 400) + n_nombre + accès_jour de date_entrée) 
+    - 7 * entier de ((année_nombre + entier de (année_nombre / 4) - entier de (année_nombre / 100) + entier de (année_nombre / 400) + n_nombre + accès_jour de date_entrée) /7)
+```
+
+```catala
+champ d'application Jour_de_la_semaine_depuis_date :
+  définition jour_de_la_semaine_depuis_date sous condition
+    jour_nombre = 0
+  conséquence égal à Dimanche
+  définition jour_de_la_semaine_depuis_date sous condition
+    jour_nombre = 1
+  conséquence égal à Lundi
+
+  définition jour_de_la_semaine_depuis_date sous condition
+    jour_nombre = 2
+  conséquence égal à Mardi
+
+  définition jour_de_la_semaine_depuis_date sous condition
+    jour_nombre = 3
+  conséquence égal à Mercredi
+
+  définition jour_de_la_semaine_depuis_date sous condition
+    jour_nombre = 4
+  conséquence égal à Jeudi
+
+  définition jour_de_la_semaine_depuis_date sous condition
+    jour_nombre = 5
+  conséquence égal à Vendredi
+
+  définition jour_de_la_semaine_depuis_date sous condition
+    jour_nombre = 6
+  conséquence égal à Samedi
+```
+

tests/scope/good/scope_call2.catala_en

@@ -61,5 +61,5 @@ $ catala test-scope Titi
 
 ```catala-test-cli
 $ catala dependency-graph --disable-warnings
-{"intra_scopes":{"Toto":{"nodes":{"2":"foo","1":"bar"},"edges":[{"from":1,"to":2}]},"Titi":{"nodes":{"5":"toto","4":"fuzz","3":"fizz"},"edges":[]}},"inter_scopes":{"nodes":{"2":"Titi","1":"Toto"},"edges":[{"from":1,"to":2},{"from":1,"to":2},{"from":1,"to":2}]},"types":{"nodes":{"8":"Titi","6":"Toto","4":"Period_en.Period","3":"MonthYear_en.MonthYear","809014657":"MonthYear_en.Date_en.Month","9647113":"Optional"},"edges":[{"from":6,"to":8},{"from":6,"to":8},{"from":809014657,"to":3}]}}
+{"intra_scopes":{"Toto":{"nodes":{"9":"foo","8":"bar"},"edges":[{"from":8,"to":9}]},"Titi":{"nodes":{"12":"toto","11":"fuzz","10":"fizz"},"edges":[]}},"inter_scopes":{"nodes":{"3":"Titi","2":"Toto"},"edges":[{"from":2,"to":3},{"from":2,"to":3},{"from":2,"to":3}]},"types":{"nodes":{"10":"Titi","8":"Toto","6":"Period_en.Period","5":"MonthYear_en.MonthYear","4":"Date_en.Day_of_the_of_given_date","980147805":"Date_en.Days","809014657":"MonthYear_en.Date_en.Month","9647113":"Optional"},"edges":[{"from":8,"to":10},{"from":8,"to":10},{"from":980147805,"to":4},{"from":809014657,"to":5}]}}
 ```