spair_set_defer()

void gbA::spair_set_defer ( spair *& p )

private

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

{
  if (M2_gbTrace == 15)
    {
      emit_line("    deferred by reduction count");
    }
  else if (M2_gbTrace >= 4)
    emit_wrapped("D");
  //  spair_delete(p); // ONLY FOR TESTING!! THIS IS INCORRECT!!
  //  return;
  S->n_in_degree++;
  if (p->type == SPAIR::SPAIR_GEN)
    {
      S->gen_last_deferred->next = p;
      S->gen_last_deferred = p;
      n_gens_left++;
    }
  else
    {
      S->spair_last_deferred->next = p;
      S->spair_last_deferred = p;
    }
}

References emit_line(), emit_wrapped(), M2_gbTrace, n_gens_left, p, S, and SPAIR_GEN.

Referenced by reduce_kk(), and reduce_ZZ().