Écrivez une fonction qui, compte tenu des 12 premiers chiffres d'un code ISBN-13 , calculera l'ISBN entier en calculant et en ajoutant un chiffre de contrôle approprié.
L'entrée de votre fonction est une chaîne contenant les 12 premiers chiffres de l'ISBN. Sa sortie est une chaîne contenant les 13 chiffres.
Spécification formelle
Écrivez une fonction qui, lorsqu'elle reçoit une chaîne s entièrement composée exactement de 12 chiffres décimaux (et aucun autre caractère), renvoie une chaîne t avec les propriétés suivantes:
- t se compose exactement de 13 chiffres décimaux (et pas d'autres caractères);
- s est un préfixe de t ;
- la somme de tous les chiffres dans les positions impaires en t (c'est-à-dire le premier, le troisième, le cinquième, etc.), plus trois fois la somme de tous les chiffres dans les positions paires en t (c'est-à-dire le deuxième, le quatrième, le sixième, etc.), est un multiple de 10.
Exemple / cas de test
Contribution
978030640615
Sortie
9780306406157
Condition de victoire
En tant que défi de code-golf , la réponse la plus courte l'emporte.