Definition Storage.hh:170
bool is_nonprod_factor_in_prod(iterator)
Definition ExManip.cc:96
Ex::iterator_base iterator_base
Definition ExManip.hh:11
bool sum_wrap_single_term(iterator &)
Definition ExManip.cc:23
Ex::post_order_iterator post_order_iterator
Definition ExManip.hh:13
bool is_single_term(iterator)
Is the indicated node a single term in an expression?
Definition ExManip.cc:77
Ex & tr
Definition ExManip.hh:44
bool prod_wrap_single_term(iterator &)
Take a single non-product node in a sum and wrap it in a product node, so it can be handled on the sa...
Definition ExManip.cc:14
void force_node_wrap(iterator &, std::string)
Wrap a term in a product or sum in a node with indicated name, irrespective of its parent (it usually...
Definition ExManip.cc:32
Ex::sibling_iterator sibling_iterator
Definition ExManip.hh:14
bool sum_unwrap_single_term(iterator &)
Definition ExManip.cc:62
Ex::iterator iterator
Definition ExManip.hh:12
const Kernel & kernel
Definition ExManip.hh:43
bool prod_unwrap_single_term(iterator &)
Definition ExManip.cc:47
Functions to handle the exchange properties of two or more symbols in a product.
Definition Adjform.cc:83