support()

void FreeMonoid::support	(	const Monom &	m,
		std::vector< int > &	result ) const

Definition at line 416 of file FreeMonoid.cpp.

{
  int numVarsFound = 0;
  int monomOffset = numWeights() + 1;
  result.clear();
  std::vector<int> varsFound;
  for (auto i = 0; i < numVars(); i++)
    varsFound.push_back(0);
  for (auto i = m.begin() + monomOffset; i < m.end(); i++)
  {
    if (varsFound[*i] == 0) numVarsFound++;
    varsFound[*i]++;
    if (numVarsFound == numVars()) break;
  }
  for (auto i = 0; i < numVars(); i++)
    if (varsFound[i] > 0) result.push_back(i);
} 

References Monom::begin(), Monom::end(), numVars(), numWeights(), and result().

Referenced by FreeAlgebra::support(), and Matrix::support().