docs: public static void setMatrix(final double[][] m1, final int r0, final int r1, final int[] c, final double[][] m2) {
      assert r0 <= r1 : ERR_INVALID_RANGE;
      assert r1 <= m1.length : ERR_MATRIX_DIMENSIONS;
      for(int i = r0; i < r1; i++) {
        final double[] row1 = m1[i], row2 = m2[i - r0];
        for(int j = 0; j < c.length; j++) {
          row1[c[j]] = row2[j];
        }
      }
    }