insert_generator()

void F4SPairSet::insert_generator	(	int	deg,
		packed_monomial	lcm,
		int	column )

Definition at line 67 of file f4-spairs.cpp.

{
  spair result {SPairType::Generator,deg,col,-1,nullptr};
 
  auto allocRange = mSPairLCMs.allocateArray<monomial_word>(M->monomial_size(lcm));
  result.lcm = allocRange.first;
  
  M->copy(lcm, result.lcm);
 
  auto sPairIndex = mSPairs.size();
  mSPairs.push_back(result);  
  mSPairQueue.push(sPairIndex);
}

References Generator, M, mSPairLCMs, mSPairQueue, mSPairs, and result().