Algorithms.CL.SmithReduction
data CLMatrix a
transpose
rows
cols
row_list
col_list
idx
(!!!)
(///)
matrix_from_list
delete_row
delete_col
elim_entry_with_pivot
clean_first_row
clean_first_col
clean_first_row_col
structure_constants_from_matrix
group_order_from_matrix