◆ var()

void FreeMonoid::var	(	int	v,
		MonomialInserter &	result ) const

Definition at line 54 of file FreeMonoid.cpp.

{
  m.push_back(mNumWeights+2);
  for (int i=0; i<mNumWeights; ++i)
    m.push_back(weightOfVar(v,i));
  m.push_back(v);
}