computation_is_complete()

ComputationStatusCode GB_comp::computation_is_complete ( ) const

private

Definition at line 739 of file gb-homog2.cpp.

{
  // This handles everything but _Stop.always, _Stop.degree_limit
  if (_state == GB_COMP_DONE) return COMP_DONE;
  if (stop_.basis_element_limit > 0 && _n_gb > stop_.basis_element_limit)
    return COMP_DONE_GB_LIMIT;
  if (stop_.syzygy_limit > 0 && _n_syz > stop_.syzygy_limit)
    return COMP_DONE_SYZ_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)
    {
      // Compute the codimension
      int c = 0;
      // int c = codim_of_lead_terms();
      if (c >= stop_.codim_limit) return COMP_DONE_CODIM;
    }
  return COMP_COMPUTING;
}

References _n_gb, _n_gens_left, _n_pairs_computed, _n_subring, _n_syz, _state, COMP_COMPUTING, COMP_DONE, COMP_DONE_CODIM, COMP_DONE_GB_LIMIT, COMP_DONE_MIN_GENS, COMP_DONE_PAIR_LIMIT, COMP_DONE_SUBRING_LIMIT, COMP_DONE_SYZ_LIMIT, GB_COMP_DONE, and Computation::stop_.

Referenced by start_computation().