find_exact()

MonomialTableZZ::mon_term * MonomialTableZZ::find_exact	(	mpz_srcptr	coeff,
		exponents_t	exp,
		int	comp ) const

Definition at line 325 of file montableZZ.cpp.

{
  if (comp >= static_cast<int>(_head.size())) return nullptr;
  mon_term *head = _head[comp];
  mon_term *t;
  int i;
 
  unsigned long expmask = monomial_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 && !mpz_cmp(coeff, t->_coeff)) return t;
      }
  return nullptr;
}

References MonomialTableZZ::mon_term::_coeff, MonomialTableZZ::mon_term::_lead, MonomialTableZZ::mon_term::_mask, MonomialTableZZ::mon_term::_next, _nvars, and monomial_mask().