`matrix.copy()` implementation has dimension limits incorrectly swapped: `#m1[1]` and `#m1`, so it fails on attempt to copy any non-square matrix.
matrix.copy()implementation has dimension limits incorrectly swapped:#m1[1]and#m1, so it fails on attempt to copy any non-square matrix.