Algorithms.CL.SmithReduction

Matrix type and basic access functions.

data CLMatrix a

transpose

rows

cols

row_list

col_list

idx

(!!!)

(///)

matrix_from_list

delete_row

delete_col

Smith reduction

elim_entry_with_pivot

clean_first_row

clean_first_col

clean_first_row_col

Structure of Abelian Groups

structure_constants_from_matrix

group_order_from_matrix