+ex idx::replace_dim(const ex & new_dim) const
+{
+ idx *i_copy = static_cast<idx *>(duplicate());
+ i_copy->dim = new_dim;
+ i_copy->clearflag(status_flags::hash_calculated);
+ return i_copy->setflag(status_flags::dynallocated);
+}
+
+ex idx::minimal_dim(const idx & other) const
+{
+ if (dim.is_equal(other.dim) || dim < other.dim || (is_a<numeric>(dim) && is_a<symbol>(other.dim)))
+ return dim;
+ else if (dim > other.dim || (is_a<symbol>(dim) && is_a<numeric>(other.dim)))
+ return other.dim;
+ else
+ throw (std::runtime_error("idx::minimal_dim: index dimensions cannot be ordered"));
+}
+