update_expvector()

template<typename Key>

void F4MonomialLookupTableT< Key >::update_expvector ( int topvar, const_varpower_monomial m )

private

Definition at line 226 of file f4-monlookup.cpp.

{
  int nvars = topvar + 1;
  if (*m > 0 && m[1] >= nvars) nvars = static_cast<int>(m[1] + 1);
  if (size_of_exp <= nvars)
    {
      // Increase size of exponent vector
      delete [] exp0;
      if (nvars > 2 * size_of_exp)
        size_of_exp = nvars;
      else
        size_of_exp *= 2;
 
      exp0 = new ntuple_word[size_of_exp];
      for (auto i=0; i<size_of_exp; ++i) exp0[i] = 0;
    }
 
  int nparts = static_cast<int>(*m++);
  for (int i = nparts; i > 0; i--, m += 2)
    {
      exp0[*m] = m[1];
    }
}

References exp0, and size_of_exp.

Referenced by find_all_divisors_vp(), and find_one_divisor_vp().