exvector get_all_dummy_indices(const ex & e);
/** More reliable version of the form. The former assumes that e is an
exvector get_all_dummy_indices(const ex & e);
/** More reliable version of the form. The former assumes that e is an
exvector get_all_dummy_indices_safely(const ex & e);
/** Returns b with all dummy indices, which are listed in va, renamed
exvector get_all_dummy_indices_safely(const ex & e);
/** Returns b with all dummy indices, which are listed in va, renamed