code: private static void addTernaryValues(IntegerVector destination,
                                           TernaryVector source) {
          for (int p : source.positiveDimensions())
              destination.add(p, 1);
          for (int n : source.negativeDimensions())
              destination.add(n, -1);
      }
docs: Adds the values from a {@code TernaryVector} to an {@code IntegerVector}.
  Only the positive and negative indices will be traversed to save time.
  
  @param destination The vector to write new values to.
  @param source The vector to read values from.