SMS versenden: Riešenie sústavy lineárnych rovníc nad okruhom celých čísel pomocou Smithovho kanonického tvaru matice