public:
void print(const print_context & c, unsigned level = 0) const;
bool info(unsigned inf) const;
public:
void print(const print_context & c, unsigned level = 0) const;
bool info(unsigned inf) const;
/** Make a new index with the same value but a different dimension. */
ex replace_dim(const ex & new_dim) const;
/** Make a new index with the same value but a different dimension. */
ex replace_dim(const ex & new_dim) const;
{
exvector free_indices, dummy_indices;
find_free_and_dummy(v.begin(), v.end(), free_indices, dummy_indices);
{
exvector free_indices, dummy_indices;
find_free_and_dummy(v.begin(), v.end(), free_indices, dummy_indices);
{
exvector free_indices, dummy_indices;
find_free_and_dummy(v.begin(), v.end(), free_indices, dummy_indices);
{
exvector free_indices, dummy_indices;
find_free_and_dummy(v.begin(), v.end(), free_indices, dummy_indices);