Scrivi una funzione che, date le prime 12 cifre di un codice ISBN-13 , calcolerà l'intero codice ISBN calcolando e aggiungendo una cifra di controllo appropriata.
L'input della tua funzione è una stringa contenente le prime 12 cifre del codice ISBN. Il suo output è una stringa contenente tutte e 13 le cifre.
Specifiche formali
Scrivi una funzione che, quando viene data una stringa s composta interamente da esattamente 12 cifre decimali (e nessun altro carattere), restituisce una stringa t con le seguenti proprietà:
- t consiste esattamente di 13 cifre decimali (e nessun altro carattere);
- s è un prefisso di t ;
- la somma di tutte le cifre in posizioni dispari in t (cioè la prima, la terza, la quinta, ecc.), più tre volte la somma di tutte le cifre in posizioni pari in t (cioè la seconda, la quarta, la sesta, ecc.), è una multiplo di 10.
Esempio / caso di test
Ingresso
978030640615
Produzione
9780306406157
Condizione di vittoria
Come una sfida di code-golf , vince la risposta più breve.