operator*() [1/2]

BRP BRP::operator*

(

const brMonomial &

other

)

const

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

{
  BRP tmp;
  monomials::const_iterator end = m.end();
  brMonomial last = -1;  // set this to -1 so it never is the same as mono, if
                         // we set it to 0, we have problems when multiplying
                         // 1*1
  for (monomials::const_iterator it = m.begin(); it != end; it++)
    {
      brMonomial mono = other | *it;
      if (last == mono)
        {
          tmp.m.pop_back();
          last = -1;
        }
      else
        {
          tmp.m.push_back(mono);
          last = mono;
        }
    }
  tmp.m.sort(funccomp);
  monomials::iterator it = tmp.m.begin();
  monomials::iterator lastIt = tmp.m.begin();
  monomials::iterator tmpEnd = tmp.m.end();
  it++;
  while (it != tmpEnd)
    {
      if (*lastIt == *it)
        {
          lastIt = tmp.m.erase(lastIt, ++it);
          if (lastIt != end)
            {
              ++it;
            }
        }
      else
        {
          ++it;
          ++lastIt;
        }
    }
  return tmp;
}

References BRP(), end(), funccomp(), and m.