◆ subtract_multiple_to()

void res2_poly::subtract_multiple_to	(	res2term *&	f,
		ring_elem	c,
		const int *	m,
		const res2term *	g ) const

Definition at line 217 of file res-a0-poly.cpp.

{
  ring_elem minus_c = K->negate(c);
  res2term *h = mult_by_term(g, minus_c, m);
  add_to(f, h);
  K->remove(minus_c);
}