docs: public static double[][] transposeTimes(final double[] v1, final double[][] m2) {
      assert m2.length == v1.length : ERR_MATRIX_INNERDIM;
      final int columndimension = m2[0].length;
      final double[][] re = new double[1][columndimension];
      for(int j = 0; j < columndimension; j++) {
        double s = 0;
        for(int k = 0; k < v1.length; k++) {
          s += v1[k] * m2[k][j];
        }
        re[0][j] = s;
      }
      return re;
    }