add_gens()

void GBinhom_comp::add_gens	(	int	lo,
		int	hi,
		const Matrix *	m )

Definition at line 86 of file gb-sugarless.cpp.

{
  // MES
  // First incorporate the new generators.
  // 2. inter-reduce them, so they have different lead terms
  // 3. insert them into gb, gbLarge
  // 4. each insertion will also call find_pairs.
 
  // MES: should we inter-reduce these first?  Does it matter?
  for (int i = hi; i >= lo; i--)
    {
      ring_elem denom;
      gbvector *f = originalR->translate_gbvector_from_vec(F, (*m)[i], denom);
      s_pair *p = new_gen(i, f, denom);
      if (p != nullptr) spairs->insert(p);
      n_pairs++;
    }
}

References F, Matrix, n_pairs, new_gen(), originalR, p, and spairs.

Referenced by set_up().