Enviar por SMS: Códigos lineares com o Mu-pad: notas de apoio para teoria de códigos