twoSidedReductionOld()

auto NCGroebner::twoSidedReductionOld	(	const FreeAlgebra &	A,
		const Poly *	reducee,
		const ConstPolyList &	reducers,
		const WordTable &	W )->Poly *