Allow, optionally, indices to be substituted by things that are not indices.

[ginac.git] / ginac / idx.cpp

diff --git a/ginac/idx.cpp b/ginac/idx.cpp
index e531f0f3299636d102fd4ff1f41fed0a7656bf82..73af6aac1333e588b6b05bcc5b7e9bdf3c19c37c 100644 (file)
--- a/ginac/idx.cpp
+++ b/ginac/idx.cpp
@@ -365,7 +365,7 @@ ex idx::subs(const exmap & m, unsigned options) const
        if (it != m.end()) {
 
                // Substitution index->index
-               if (is_a<idx>(it->second))
+               if (is_a<idx>(it->second) || (options & subs_options::really_subs_idx))
                        return it->second;
 
                // Otherwise substitute value