start_computation()

void res_comp::start_computation ( )

virtual

Implements ResolutionComputation.

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

{
  if (status() == COMP_DONE) return;
  set_status(COMP_COMPUTING);
  DO(gens(lodegree));
  DO(pairs(1, lodegree));  // MES: Probably not needed...
 
  for (; n_degree <= hidegree; n_degree++, n_level = 2)
    {
      if (stop_.stop_after_degree && stop_.degree_limit->array[0] < n_degree)
        {
          set_status(COMP_DONE_DEGREE_LIMIT);
          return;
        }
      if (M2_gbTrace >= 1)
        {
          buffer o;
          o << '{' << n_degree << '}';
          emit_wrapped(o.str());
        }
 
      if (n_level == 2)
        {
          DO(reductions(2, n_degree));
          DO(gens(n_degree + 1));
          DO(pairs(1, n_degree + 1));
          n_level = 3;
        }
 
      for (; n_level <= length_limit + 1; n_level++)
        {
          if (M2_gbTrace >= 1) emit_wrapped(".");
 
          DO(pairs(n_level - 1, n_degree));
          DO(pairs(n_level - 1, n_degree + 1));
          DO(reductions(n_level, n_degree));
        }
    }
  if (M2_gbTrace >= 6)
    {
      buffer o;
      text_out(o);
      emit(o.str());
    }
  set_status(COMP_DONE);
}

References COMP_COMPUTING, COMP_DONE, COMP_DONE_DEGREE_LIMIT, DO, emit(), emit_wrapped(), gens(), hidegree, length_limit, lodegree, M2_gbTrace, n_degree, n_level, pairs(), reductions(), Computation::set_status(), Computation::status(), Computation::stop_, buffer::str(), and text_out().