load_row()

void F4GB::load_row ( packed_monomial monom, int which )

private

Definition at line 220 of file f4.cpp.

{
  GBF4Polynomial &g = mGroebnerBasis[which]->f;
 
  row_elem r{};
  r.monom = monom;
  r.elem = which;
  r.len = g.len;
  // r.comps = Mem->components.allocate(g.len);
  r.comps = new int[g.len];
  // r.coeffs is already initialized to [nullptr].
 
  // TODO: this iterator requires knowledge about memory layout of monomials  
  monomial_word *w = g.monoms;
  for (int i = 0; i < g.len; i++)
    {
      r.comps[i] = mult_monomials(monom, w);
      w += mMonomialInfo->monomial_size(w);
    }
 
  mat->rows.push_back(r);
}

References row_elem::comps, row_elem::elem, GBF4Polynomial::len, row_elem::len, mat, mGroebnerBasis, mMonomialInfo, row_elem::monom, GBF4Polynomial::monoms, and mult_monomials().

Referenced by loadReducerRow(), loadSPairRow(), and process_column().