end_degree()

void gb2_comp::end_degree

(

)

Definition at line 662 of file res-a2-gb.cpp.

{
  if ((strategy_flags & STRATEGY_SORT) != 0)
    {
      gb_sort(n_gb_first, n_gb - 1);  // This is the range of elements to sort.
    }
  for (int j = n_gb_first; j < n_gb; j++) gb[j]->me = j;
  if (orig_syz < 0)
    {
      for (int j = n_gb_first; j < n_gb; j++)
        if (gb[j]->is_min)
          {
            schreyer_append(gb[j]->f);
            gb[j]->fsyz = GR->gbvector_term(Fsyz, GR->one(), Fsyz->rank());
          }
    }
 
  // Now set the state so that we know we have finished here
  this_degree++;
  state = STATE_NEW_DEGREE;
}

References Fsyz, gb(), gb_sort(), GR, n_gb, n_gb_first, orig_syz, schreyer_append(), state, STATE_NEW_DEGREE, strategy_flags, STRATEGY_SORT, and this_degree.

Referenced by calc_gb(), and calc_gens().