13 template<
class Polynomial>
35 template<
class Polynomial>
Sorts generators of an ideal by their leading terms.
sortByLeadingTerm(const std::vector< Polynomial > &generators)
const std::vector< Polynomial > & mGenerators
bool operator()(std::size_t a, std::size_t b) const
Sorts generators of an ideal by their number of terms.
sortByPolSize(const std::vector< Polynomial > &generators)
const std::vector< Polynomial > & mGenerators
bool operator()(std::size_t a, std::size_t b) const