reductions()

enum ComputationStatusCode res_comp::reductions ( int level, int deg )

private

Definition at line 1024 of file res-a1.cpp.

{
  res_pair *p;
  if (M2_gbTrace >= 5)
    {
      buffer o;
      o << "reductions(" << level << ", " << deg << ")" << newline;
      emit(o.str());
    }
  sort_pairs(level, deg);
  res_degree *mypairs = get_degree_set(level, deg);
  if (mypairs != nullptr)
    while ((p = mypairs->next_pair) != nullptr)
      {
        mypairs->next_pair = p->next;
        handle_pair(p);
 
        mypairs->nleft--;
        resn[level]->nleft--;
        nleft--;
        if (stop_.pair_limit > 0 && npairs - nleft >= stop_.pair_limit)
          return COMP_DONE_PAIR_LIMIT;
        if (stop_.syzygy_limit > 0 && nminimal >= stop_.syzygy_limit)
          return COMP_DONE_SYZYGY_LIMIT;
        if (system_interrupted()) return COMP_INTERRUPTED;
      }
  return COMP_COMPUTING;
}

References COMP_COMPUTING, COMP_DONE_PAIR_LIMIT, COMP_DONE_SYZYGY_LIMIT, COMP_INTERRUPTED, emit(), get_degree_set(), handle_pair(), M2_gbTrace, newline, res_degree::next_pair, nleft, res_degree::nleft, nminimal, npairs, p, sort_pairs(), Computation::stop_, buffer::str(), and system_interrupted().

Referenced by start_computation().