Initial version.
Implement Mv_mat_mat_mult() and vM_mat_mat_mult().
Implement dot_prod_mat_mat_mult().
Compute encoding_1001.