hash_value()

int ResMonomialsWithComponent::hash_value ( value m ) const

inline

Definition at line 114 of file monhashtable.hpp.

  {
    return mMonoid.hash_value(m) + 34141 * mMonoid.get_component(m);
  }  // m[0] + m[1]

References mMonoid.