appendExponent()

void BasicPolyListStreamCollector::appendExponent	(	VarIndex	index,
		Exponent	exponent )

Definition at line 36 of file BasicPolyList.cpp.

{
  mValue[mCurrentPoly].mMonomials.push_back(index);
  mValue[mCurrentPoly].mMonomials.push_back(exponent);
  mValue[mCurrentPoly].mMonomials[mSizeEntryInMonomial] += 2;
}

References mCurrentPoly, mSizeEntryInMonomial, and mValue.