find_or_append_column()

int F4GB::find_or_append_column ( packed_monomial m )

private

Definition at line 165 of file f4.cpp.

{
  packed_monomial new_m;
  if (mMonomialHashTable.find_or_insert(m, new_m)) return static_cast<int>(new_m[-1]);
  // At this point, m is a new monomial to be placed as a column
  m = next_monom;
  mMonomialMemoryBlock.intern(1 + mMonomialInfo->monomial_size(m));
  next_monom = mMonomialMemoryBlock.reserve(1 + mMonomialInfo->max_monomial_size());
  next_monom++;
  return new_column(m);
}

References mMonomialHashTable, mMonomialInfo, mMonomialMemoryBlock, new_column(), and next_monom.

Referenced by load_gen().