subtractScalarMultipleOf()

void FreeAlgebra::subtractScalarMultipleOf	(	Poly &	result,
		const Poly &	f,
		const Poly &	g,
		ring_elem	coeff ) const

Definition at line 425 of file FreeAlgebra.cpp.

{
  addScalarMultipleOf(result,
                      f.cbegin(),
                      f.cend(),
                      g.cbegin(),
                      g.cend(),
                      coefficientRing()->negate(coeff));
}

References addScalarMultipleOf(), coefficientRing(), negate(), and result().

Referenced by NCF4::autoreduceByLastElement(), and NCGroebner::autoreduceByLastElement().