load_gen()

void F4GB::load_gen ( int which )

private

Definition at line 196 of file f4.cpp.

{
  GBF4Polynomial &g = mGenerators[which]->f;
 
  row_elem r{};
  r.monom = nullptr;  // This says that this element corresponds to a generator
  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++)
    {
      mMonomialInfo->copy(w, next_monom);
      r.comps[i] = find_or_append_column(next_monom);
      w += mMonomialInfo->monomial_size(w);
    }
 
  mat->rows.push_back(r);
}

References row_elem::comps, row_elem::elem, find_or_append_column(), GBF4Polynomial::len, row_elem::len, mat, mGenerators, mMonomialInfo, row_elem::monom, GBF4Polynomial::monoms, and next_monom.

Referenced by process_s_pair().