set_degrees()

void Monoid::set_degrees ( )

private

sets mHeftDegrees and mDegreeOfVar

Definition at line 182 of file monoid.cpp.

{
  if (mDegreeMonoid == nullptr)
    {
      mDegreeOfVar.push_back(static_cast<const_monomial>(nullptr));
      return;
    }
 
  auto degrk = mDegreeMonoid->n_vars();
  auto *iter = mDegrees.data();
 
  if (mHeftVector.size() != degrk)
    {
      ERROR("internal error: mHeftVector.size() == %d != degrk == %d",
            mHeftVector.size(),
            degrk);
      return;
    }
  if (degrk > 0)
    for (int i = 0; i < mVariableCount; i++)
      {
        auto d = exponents::weight(degrk, iter, mHeftVector);
        auto m = mDegreeMonoid->make_one();
        mDegreeMonoid->from_expvector(iter, m);
        mDegreeOfVar.push_back(m);
        mHeftDegrees.push_back(d);
        iter += degrk;
      }
  else
    {
      auto m = mDegreeMonoid->make_one();
      mDegreeOfVar.assign(mVariableCount, m);
      mHeftDegrees.assign(mVariableCount, 1);
    }
  // an extra entry for the degree of the zero element in the degree monoid
  mDegreeOfVar.push_back(mDegreeMonoid->make_one());
}

References ERROR, mDegreeMonoid, mDegreeOfVar, mDegrees, mHeftDegrees, mHeftVector, mVariableCount, and ExponentVector< int, true >::weight().