mult_by_coeff()

void gbvectorHeap::mult_by_coeff

(

ring_elem

a

)

Definition at line 1526 of file gbring.cpp.

{
  for (int i = top_of_heap; i >= 0; i--)
    if (heap[i] != nullptr) GR->gbvector_mult_by_coeff_to(heap[i], a);
}

References GR, heap, and top_of_heap.

Referenced by GBRing::reduce_marked_lead_term_heap().