processWordInPreRow()

void NCF4::processWordInPreRow ( Word & w, PreRowFeeder * feeder )

private

Definition at line 678 of file NCF4.cpp.

{
  const auto it = mColumnMonomials.find(w);
  if (it == mColumnMonomials.end())
  {
    // if we are here, this monomial is not yet accounted for in the matrix
    // so, check if the monomial is a multiple of a lead term of a gb element
 
    // insert column information into mColumnMonomials,
    // which provides us search (and eventually) indexing of columns
    mColumnMonomials.emplace(w,std::make_pair(-1,-1));
    auto divresult = findDivisor(w);
    if (divresult.first)
    {
      // if m is a divisor of a gb element (or a left/right
      // variable multiple of a previous reducer), add that
      // multiple of the GB element to mReducersToDo for
      // processing
 
      // if feeder is nullptr, then this is a computation on a list
      // not being added to during the loop.
      // e.g. either F4 serial or overlaps processing
      // otherwise, we must use the feeder to add more work.
      if (feeder == nullptr)
        mReducersTodo.push_back(divresult.second);
      else
        feeder->add(divresult.second);
    }
  }
}

References findDivisor(), mColumnMonomials, and mReducersTodo.

Referenced by processPreRow().