Escriba una función que, dados los primeros 12 dígitos de un código ISBN-13 , calculará todo el ISBN calculando y agregando un dígito de verificación apropiado.
La entrada de su función es una cadena que contiene los primeros 12 dígitos del ISBN. Su salida es una cadena que contiene los 13 dígitos.
Especificación formal
Escriba una función que, cuando se le da una cadena s que consiste completamente de exactamente 12 dígitos decimales (y no otros caracteres), devuelve una cadena t con las siguientes propiedades:
- t consta de exactamente 13 dígitos decimales (y ningún otro carácter);
- s es un prefijo de t ;
- la suma de todos los dígitos en posiciones impares en t (es decir, el primero, tercero, quinto, etc.), más tres veces la suma de todos los dígitos en posiciones pares en t (es decir, el segundo, cuarto, sexto, etc.), es un múltiplo de 10.
Ejemplo / caso de prueba
Entrada
978030640615
Salida
9780306406157
Condición de victoria
Como un desafío de código de golf , gana la respuesta más corta.