find_exact()

MonomialTable::mon_term * MonomialTable::find_exact	(	exponents_t	exp,
		int	comp ) const

Definition at line 193 of file montable.cpp.

{
  if (comp >= static_cast<int>(_head.size())) return nullptr;
  mon_term *head = _head[comp];
  mon_term *t;
  int i;
 
  unsigned long expmask = exponents::mask(_nvars, exp);
 
  for (t = head->_next; t != head; t = t->_next)
    if (expmask == t->_mask)
      {
        bool is_eq = 1;
        for (i = 0; i < _nvars; i++)
          if (exp[i] != t->_lead[i])
            {
              is_eq = 0;
              break;
            }
        if (is_eq) return t;
      }
  return nullptr;
}

References MonomialTable::mon_term::_lead, MonomialTable::mon_term::_mask, MonomialTable::mon_term::_next, _nvars, and ExponentVector< int, true >::mask().