Карта, которая позволяет предоставлять компаратор равенства и функцию хэширования отдельно

Поскольку реализация JDK [Linked]HashMap не позволяет вам переопределить реализацию equals/hashCode, единственными другими способами являются:

• такой обертывающий объект:

    class A {
      private final String fieldA; // equals/hashCode based on that field.
      private final String fieldB; // equals/hashCode based on that field.
    }
  
    class B {
      private A a;
      public int hashCode() {return a.fieldA.hashCode();} 
      public boolean equals(Object o) {... the same ... }
    }
  
    Map<B, Value> map = new HashMap<B, Value>();
    map.put(new B(new A("fieldA", "fieldB")), new Value(0));
  

  Ну, с большим количеством геттеров/конструкторов.

  Это может раздражать, и, возможно, существует какая-то библиотека (например, Guava), которая позволяет использовать метод equals/hashCode, как вы можете указать Comparator для TreeMap.

  Ниже вы найдете пример реализации, в котором показано, что нужно сделать, чтобы украсить существующую карту.

• используйте TreeMap с определенным Comparator. Другой ответ указывает на это, но я бы сказал, что вам нужно правильно определить Comparator, потому что это может привести к проблемам: если ваш метод compareTo возвращает 0 при достижении равенства и 1 в другом случае, это означает, что нет естественного заказ. Вы должны попытаться найти его или использовать объект-оболочку.

Если вы хотите принять вызов, вы можете создать базовую реализацию, используя делегирование/декорирование поверх другого HashMap (это может быть карта другого типа, например LinkedHashMap):

public class DelegatingHashMap<K,V> implements Map<K,V> {
  private final BiPredicate<K,Object> equalsHandler;
  private final IntFunction<K> hashCodeHandler;
  private final Map<Wrapper<K>,V> impl = new HashMap<>();

  public DelegatingHashMap(
    BiPredicate<K,Object> equalsHandler,
    IntFunction<K> hashCodeHandler
  ) {
    this.equalsHandler = requireNonNull(equalsHandler, "equalsHandler");
    this.hashCodeHandler= requireNonNull(hashCodeHandler, "hashCodeHandler");
  }

  public Object get(K key) {
    Wrapper<K> wrap = new Wrapper<>(key);
    return impl.get(wrap);
  }  

  ...

  static class Wrapper<K2> {
    private final K2 key;
    private final BiPredicate<K> equalsHandler;
    private final IntFunction<K> hashCodeHandler;
    public int hashCode() {return hashCodeHandler.apply(key);}
    public boolean equals(Object o) {
      return equalsHandler.test(key, o);
    }
  }
}

И код с использованием карты:

DelegatingHashMap<String, Integer> map = new DelegatingHashMap<>(
  (key, old) -> key.equalsIgnoreCase(Objects.toString(o, "")),
  key -> key.toLowerCase().hashCode()
);
map.put("Foobar", 1);
map.put("foobar", 2);

System.out.println(map); // print {foobar: 2}

Но, возможно, лучше всего (для памяти) было бы переписать HashMap, чтобы напрямую использовать обработчик вместо оболочки.

Вы можете использовать TreeMap с пользовательским компаратором:

TreeMap(Comparator<? super K> comparator)

Создает новую пустую карту дерева, упорядоченную в соответствии с заданным компаратором.

(Источник)

Рассмотрите возможность использования TreeMap, который является SortedMap и, следовательно, также Map. Вы можете предоставить Comparator его конструктору. Отсортированная карта будет использовать этот Comparator для сортировки ключей карты. Но важно то, что в вашем случае ключи будут считаться равными, если Comparator возвращает 0. В вашем случае потребуется Comparator, несовместимое с равными, что может вызвать у вас проблемы, если вы не осторожно.

Другой вариант — ввести еще один класс, который действует как адаптер для Mononomial и может использоваться как ключ карты с нужными вам свойствами.

Я думаю, может быть лучше разделить одночлен на 2 части: коэффициент и переменную. Таким образом, вы можете использовать переменную часть своей карты в качестве ключа и коэффициент в качестве значения (которое затем может быть обновлено).

Весь этот код должен быть деталями реализации внутри объекта Polynomial

Я не уверен, почему вы думаете, что моном без коэффициентов выглядит неправильно. Вам не нужно выставлять объект наружу, если вы этого не хотите. Но это может быть хороший способ иметь геттеры на вашем Polynomial для получения коэффициентов для каждого монома.