computation_is_complete()

ComputationStatusCode gbA::computation_is_complete ( )

private

Definition at line 2354 of file gb-default.cpp.

{
  // This handles everything but stop_.always, stop_.degree_limit
  if (stop_.basis_element_limit > 0 && gb.size() >= 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 COMP_COMPUTING, COMP_DONE_CODIM, COMP_DONE_GB_LIMIT, COMP_DONE_MIN_GENS, COMP_DONE_PAIR_LIMIT, COMP_DONE_SUBRING_LIMIT, COMP_DONE_SYZ_LIMIT, gb(), n_gens_left, n_pairs_computed, n_subring, n_syz, and Computation::stop_.

Referenced by do_computation().