15 typedef std::map<Ex::iterator, std::pair<multiplier_t, Ex::sibling_iterator>, Ex::iterator_base_less>
equiv_map_t;
Definition Storage.hh:170
std::map< Ex::iterator, std::pair< multiplier_t, Ex::sibling_iterator >, Ex::iterator_base_less > equiv_map_t
Given an ExNode iterator, find all expressions in its range which are equal up to a numerical multipl...
Definition Grouping.hh:15
Functions to handle the exchange properties of two or more symbols in a product.
Definition Adjform.cc:83
std::function< bool(const Ex &, Ex::iterator, Ex::iterator)> equiv_fun_t
Definition Grouping.hh:16
void set(rset_t::iterator &num, multiplier_t fac)
Definition Storage.cc:1179
equiv_map_t group_by_equivalence(const Ex &, Ex::sibling_iterator first, Ex::sibling_iterator last)
Definition Grouping.cc:6