insert_spair()

void F4SPairSet::insert_spair	(	pre_spair *	p,
		int	me )

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

{
  int j = p->j;
  int deg = p->deg1 + gb[me]->deg;
  // int me_component = M->get_component(gb[me]->f.monoms);
 
  spair result {SPairType::SPair, deg, me, j, nullptr};
  
  auto allocRange = mSPairLCMs.allocateArray<monomial_word>(M->max_monomial_size());
  result.lcm = allocRange.first;
  
  M->from_varpower_monomial(p->quot, 0, result.lcm);
  M->unchecked_mult(result.lcm, gb[me]->f.monoms, result.lcm);
 
  mSPairLCMs.shrinkLastAllocate(allocRange.first,
                                allocRange.second,
                                allocRange.first + M->monomial_size(result.lcm));
 
  auto sPairIndex = mSPairs.size();
  mSPairs.push_back(result);  
  mSPairQueue.push(sPairIndex);
  
}

References gb, M, mSPairLCMs, mSPairQueue, mSPairs, p, result(), and SPair.

Referenced by construct_pairs().