This page also contains archived Wikispaces discussion.

Smith normal form

I noticed "Smith normal form" was added to this page as a name for the form of the normal val list. I've done a couple examples and I'm pretty sure that Smith normal form is not equivalent to this process; e.g. meantone's normal val list would be [⟨1 0 -4] ⟨0 1 4]] while I suppose you could say meantone's val list in Smith normal form (taking the first k rows only, as is demonstrated in the penultimate paragraph of the page on saturation) would be [⟨1 0 4] ⟨0 1 -4]]. If this is an attempt to name this other form for Gene Ward Smith, I think it's not a great idea, because of the preexistence of the linked Smith normal form which was named for Henry John Stephen Smith. --Cmloegcmluin (talk) 18:24, 23 June 2021 (UTC)

Return to "Normal forms" page.