docs: private HashSet<Integer> vector2set(int y[]) {
          HashSet<Integer> Y = new HashSet<Integer>();
          for (int j = 0; j < y.length; j++) {
              if (y[j] > 0) {
                  Y.add(j);
              }
          }
          return Y;
      }