fn coupled<K: Eq + Hash>(rows: &[K], columns: &[K]) -> Vec<(usize, usize)>
Entries (row, column) whose coupling keys agree, in column-major order; all other entries of a rotation vanish.
(row, column)