computation_is_complete()

enum ComputationStatusCode F4GB::computation_is_complete ( StopConditions & stop_ )

private

Definition at line 1092 of file f4.cpp.

{
  // This handles everything but stop_.always, stop_.degree_limit
  if (stop_.basis_element_limit > 0 && mGroebnerBasis.size() >= stop_.basis_element_limit)
    return COMP_DONE_GB_LIMIT;
  if (stop_.pair_limit > 0 && n_pairs_computed >= stop_.pair_limit)
    return COMP_DONE_PAIR_LIMIT;
  if (stop_.just_min_gens && n_gens_left == 0) return COMP_DONE_MIN_GENS;
  if (stop_.subring_limit > 0 && n_subring >= stop_.subring_limit)
    return COMP_DONE_SUBRING_LIMIT;
  if (stop_.use_codim_limit)
    {
#ifdef DEVELOPMENT
#warning "compute the codimension"
#endif
      int c = 0;  // replace this line
      // int c = codim_of_lead_terms();
      if (c >= stop_.codim_limit) return COMP_DONE_CODIM;
    }
  return COMP_COMPUTING;
}

References StopConditions::basis_element_limit, StopConditions::codim_limit, COMP_COMPUTING, COMP_DONE_CODIM, COMP_DONE_GB_LIMIT, COMP_DONE_MIN_GENS, COMP_DONE_PAIR_LIMIT, COMP_DONE_SUBRING_LIMIT, StopConditions::just_min_gens, mGroebnerBasis, n_gens_left, n_pairs_computed, n_subring, StopConditions::pair_limit, StopConditions::subring_limit, and StopConditions::use_codim_limit.

Referenced by start_computation().