◆ appendExponent()

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

Definition at line 34 of file matrix-stream.cpp.

{
  assert(index < mPolyRing->n_vars());
  mCurrentExponents[index] = exponent;
}