create_pre_spair()

pre_spair * F4SPairSet::create_pre_spair ( int i )

private

Definition at line 218 of file f4-spairs.cpp.

{
  // Steps:
  //  a. allocate the space for the pre_spair and the varpower monomial
  //  b. compute the quotient and the degree
  pre_spair *result = PS.allocate();
  result->quot = VP.reserve(max_varpower_size);
  result->j = j;
  result->type = SPairType::SPair;;
  M->quotient_as_vp(gb[j]->f.monoms,
                    gb[gb.size() - 1]->f.monoms,
                    result->quot,
                    result->deg1,
                    result->are_disjoint);
  int len = static_cast<int>(varpower_monomials::length(result->quot));
  VP.intern(len);
  return result;
}

References gb, ExponentList< long, false >::length(), M, max_varpower_size, PS, result(), SPair, and VP.

Referenced by construct_pairs().