Escreva uma função que, dados os primeiros 12 dígitos de um código ISBN-13 , calcule todo o ISBN, calculando e acrescentando um dígito de verificação apropriado.
A entrada da sua função é uma sequência que contém os primeiros 12 dígitos do ISBN. Sua saída é uma string contendo todos os 13 dígitos.
Especificação formal
Escreva uma função que, quando recebe uma sequência s composta exatamente por exatamente 12 dígitos decimais (e nenhum outro caractere), retorna uma sequência t com as seguintes propriedades:
- t consiste em exatamente 13 dígitos decimais (e nenhum outro caractere);
- s é um prefixo de t ;
- a soma de todos os dígitos em posições ímpares em t (ou seja, o primeiro, terceiro, quinto etc.), mais três vezes a soma de todos os dígitos em posições pares em t (ou seja, o segundo, quarto, sexto etc.), é um múltiplo de 10.
Exemplo / caso de teste
Entrada
978030640615
Saída
9780306406157
Condição de vitória
Como um desafio do código-golfe , a resposta mais curta vence.