remove_lead_term()

gbvector * gbvectorHeap::remove_lead_term

(

)

Definition at line 1592 of file gbring.cpp.

{
  if (mLead < 0) get_lead_term();
  if (mLead < 0) return nullptr;
  gbvector *result = heap[mLead];
  heap[mLead] = result->next;
  result->next = nullptr;
  mLead = -1;
  return result;
}

References get_lead_term(), heap, mLead, and result().

Referenced by gb2_comp::gb_geo_reduce(), GB_comp::gb_geo_reduce(), GBinhom_comp::gb_geo_reduce(), GBKernelComputation::geo_reduce(), and MarkedGB::geo_remainder().