wordPrefixFromMonom()

void FreeMonoid::wordPrefixFromMonom	(	Word &	result,
		const Monom &	m,
		int	endIndex ) const

Definition at line 294 of file FreeMonoid.cpp.

{
  result.init(m.begin() + mNumWeights + 1, m.begin() + mNumWeights + 1 + endIndex);
}

References Monom::begin(), mNumWeights, and result().

Referenced by FreeAlgebra::lead_word_prefix(), and NCGroebner::twoSidedReduction().