docs: public static double[] times(final double[][] m1, final double[] v2) {
      final int rowdim = m1.length, coldim = getColumnDimensionality(m1);
      assert v2.length == coldim : ERR_MATRIX_INNERDIM;
      final double[] re = new double[rowdim];
      // multiply it with each row from A
      for(int i = 0; i < rowdim; i++) {
        final double[] Arowi = m1[i];
        // assert Arowi.length == coldim : ERR_MATRIX_RAGGED;
        double s = 0;
        for(int k = 0; k < coldim; k++) {
          s += Arowi[k] * v2[k];
        }
        re[i] = s;
      }
      return re;
    }