one_reduction_step()

bool binomial_ring::one_reduction_step	(	binomial &	f,
		binomial	g ) const

Definition at line 397 of file gb-toric.cpp.

{
  // MES: need to consider the cases: divide by content, homog_prime.
  for (int i = 0; i < nslots; i++) f.lead[i] += -g.lead[i] + g.tail[i];
  return normalize(f);
}

References normalize(), and nslots.