docs: public static double[] times(final double[] v1, final double s1) {
      final double[] v = new double[v1.length];
      for(int i = 0; i < v1.length; i++) {
        v[i] = v1[i] * s1;
      }
      return v;
    }