getMonomialReversed()

void FreeMonoid::getMonomialReversed	(	Monom	monom,
		std::vector< int > &	result ) const

Definition at line 233 of file FreeMonoid.cpp.

{
  auto start = result.size();
  result.push_back(0);
  auto word_length = wordLength(m);
  auto word_ptr = m + mNumWeights + 1;
  for (auto j = word_length-1; j >= 0; --j)
    {
      int curvar = word_ptr[j];
      int curvarPower = 0;
      result.push_back(curvar);
      while ((j >= 0) && (word_ptr[j] == curvar))
        {
          --j;
          curvarPower++;
        }
      result.push_back(curvarPower);
      // back j up one since we went too far looking ahead.
      j++;
    }
  result[start] = static_cast<int>(result.size() - start);
}

References mNumWeights, result(), and wordLength().

Referenced by FreeAlgebra::eval(), and M2FreeAlgebra::list_form().