// indexed objects
exvector get_free_indices() const { return exvector(); }
ex add_indexed(const ex & self, const ex & other) const { return self + other; }
// indexed objects
exvector get_free_indices() const { return exvector(); }
ex add_indexed(const ex & self, const ex & other) const { return self + other; }