addition()

void BRP::addition	(	const BRP &	other,
		monomials::iterator	pos )

Definition at line 27 of file franzi-brp.cpp.

{
  // merge m with other.m, while removing doubles
  monomials::const_iterator it = other.m.begin();
  monomials::iterator pos_end = m.end();
  monomials::const_iterator other_end = other.m.end();
  while (it != other_end && pos != pos_end)
    {
      // if ( funccompGRL(*it, *pos) ) {
      if (*it > *pos)
        {
          m.insert(pos, *it);
          ++it;
        }
      else if (*it == *pos)
        {
          pos = m.erase(pos);
          ++it;
        }
      else
        {
          ++pos;
        }
    }
  if (pos == pos_end)
    {
      m.insert(pos, it, other_end);
    }
}

References BRP(), and m.

Referenced by operator+(), and reduceTail().