toMonomial()

void ResMonomialSorter::toMonomial ( res_packed_monomial mon, std::pair< int *, int * > resultAlreadyAllocateds )

inlineprivate

Definition at line 193 of file res-monomial-sorter.hpp.

  {
    int comp, comp2;
    int nvars = mMonoid.n_vars();
    std::pair<int*, int*> exp = mArena.allocArrayNoCon<int>(nvars);
    std::pair<int*, int*> exp2 = mArena.allocArrayNoCon<int>(nvars);
    mResMonoid.to_expvector(mon, exp.first, comp);
    mResMonoid.to_expvector(mSchreyerOrder.mTotalMonom[comp], exp2.first, comp2);
    exponents::mult(nvars, exp.first, exp2.first, exp2.first);
    auto p = resultAlreadyAllocateds.first;
    *p++ = mSchreyerOrder.mTieBreaker[comp];
    *p++ = comp2;
    mMonoid.from_expvector(exp2.first, p);
    mArena.freeTop(exp2.first); // note: can only pop one at a time from an mt::Arena!
    mArena.freeTop(exp.first);
  }

References mArena, mMonoid, mResMonoid, mSchreyerOrder, ExponentVector< int, true >::mult(), and p.

Referenced by setMonoms().