Smith normal form - algorithm and implementation

W pracy przedstawiono pojęcie diagonalizacji Smitha. Zaprezentowano formalną definicję oraz kilka twierdzeń dowodzących własności macierzy w postaci normalnej Smitha. Wszystkie opisane algorytmy zostały zaimplementowane, więc część pracy poświęcono ich omówieniu. Do pracy dołączono także implementację.The paper presents the concept of Smith normal form. It presents a formal definition and some theorems proving the matrix property in Smith normal form. All of these algorithms have been implemented, so part of the work presents the discussion. To work also included implementation