sort_value()

int res_comp::sort_value ( res_pair * p, const std::vector< int > sort_order ) const

private

Definition at line 463 of file res-a1.cpp.

{
  exponents_t REDUCE_exp = ALLOCATE_EXPONENTS(exp_size);
  M->to_expvector(p->base_monom, REDUCE_exp);
  return exponents::weight(P->n_vars(), REDUCE_exp, sort_order);
}

References ALLOCATE_EXPONENTS, exp_size, M, P, p, and ExponentVector< int, true >::weight().