loadSPairRow()

void F4GB::loadSPairRow ( spair * p )

private

Definition at line 270 of file f4.cpp.

{
   packed_monomial n = next_monom;
   mMonomialInfo->unchecked_divide(p->lcm, mGroebnerBasis[p->i]->f.monoms, n);
   mMonomialMemoryBlock.intern(1 + mMonomialInfo->monomial_size(n));
   next_monom = mMonomialMemoryBlock.reserve(1 + mMonomialInfo->max_monomial_size());
   next_monom++;
   load_row(n, p->i);
}

References load_row(), mGroebnerBasis, mMonomialInfo, mMonomialMemoryBlock, next_monom, and p.

Referenced by process_s_pair().