◆ reduce_lead_term_heap()

void GBRing::reduce_lead_term_heap	(	const FreeModule *	F,
		const FreeModule *	Fsyz,
		const gbvector *	fcurrent_lead,
		const_exponents	exp,
		gbvector *	flead,
		gbvectorHeap &	f,
		gbvectorHeap &	fsyz,
		const gbvector *	g,
		const gbvector *	gsyz )

Definition at line 1678 of file gbring.cpp.

{
  reduce_marked_lead_term_heap(
      F, Fsyz, fcurrent_lead, exp, flead, f, fsyz, g, g, gsyz);
}