new_gen()

s_pair * GBinhom_comp::new_gen ( int i, gbvector * f, ring_elem denom )

private

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

{
  gbvector *fsyz;
 
  if (i < n_comps_per_syz)
    fsyz = GR->gbvector_term(Fsyz, denom, i + 1);
  else
    fsyz = GR->gbvector_zero();
 
  if (GR->gbvector_is_zero(f))
    {
      if (!GR->gbvector_is_zero(fsyz))
        {
          vec fsyzvec = originalR->translate_gbvector_to_vec(Fsyz, fsyz);
          n_syz++;
          syz.append(fsyzvec);
        }
      return nullptr;
    }
 
  s_pair *result = new s_pair;
  result->next = nullptr;
  result->syz_type = SPAIR_GEN;
  result->degree = weightInfo_->gbvector_weight(f);
  result->compare_num = 0;
  result->first = nullptr;
  result->second = nullptr;
  result->f = f; /* NOTE THAT WE GRAB f */
  result->fsyz = fsyz;
 
  result->lcm = M->make_new(result->f->monom);
 
  return result;
}

References Fsyz, GR, M, n_comps_per_syz, n_syz, originalR, result(), SPAIR_GEN, syz, and weightInfo_.

Referenced by add_gens().