Problem class: structure computations for modules over principal ideal domains (SNF/HNF, invariant factors, Jordan form)

Class:
Algorithmic Task