|   | 1 |  initial version  | 
This does not make sense. See Wikipedia
sage: R = Zmod(6)
sage: R in Domains()
False
sage: M=matrix(R,[[4,3],[2,1]])
sage: M.smith_form()
---------------------------------------------------------------------------
Traceback (most recent call last)
TypeError: Smith form only defined over Noetherian integral domains
 Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
 
                
                Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.