Following #118, add the function Array.copy_matrix to return a fresh copy of an array of arrays. As pointed out in #118 by @bcc32, nested arrays are often not the best way to represent matrices (which can be done with Bigarray), but the existence of Array.make_matrix justifies the addition of Array.copy_matrix.
Thanks for your contribution! I've imported this patch into our internal code review system. This PR should get merged once it makes its way to GitHub.
Following #118, add the function
Array.copy_matrix
to return a fresh copy of an array of arrays. As pointed out in #118 by @bcc32, nested arrays are often not the best way to represent matrices (which can be done with Bigarray), but the existence ofArray.make_matrix
justifies the addition ofArray.copy_matrix
.