On Jul 7, 8:55 am, Francis Clarke <francis.w.cla...@gmail.com> wrote: > Hermite Normal Forms (HNFs) exist for matrices over Bezout > rings and are unique up to multiplication by units over PIDs.
Correction: they're unique modulo units over Euclidean domains. Francis -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org