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

[ginac.git] / ginac / flags.h

diff --git a/ginac/flags.h b/ginac/flags.h
index 8c4bdfb2ae16ae9a22084268d1e2c23f3539bb42..8ef1c0ac07e03a72f8482a431b886543b3bbfc1a 100644 (file)
--- a/ginac/flags.h
+++ b/ginac/flags.h
@@ -52,7 +52,11 @@ public:
                subs_algebraic = 0x0002,  // for backwards compatibility
                pattern_is_product = 0x0004,     ///< used internally by expairseq::subschildren()
                pattern_is_not_product = 0x0008, ///< used internally by expairseq::subschildren()
-               no_index_renaming = 0x0010
+               no_index_renaming = 0x0010,
+               // To indicate that we want to substitue an index by something that is
+               // is not an index. Without this flag the index value would be
+               // substituted in that case.
+               really_subs_idx = 0x0020
        };
 };
 
@@ -61,7 +65,8 @@ class domain {
 public:
        enum {
                complex,
-               real
+               real,
+               positive
        };
 };
 
@@ -196,7 +201,7 @@ public:
 class info_flags {
 public:
        enum {
-               // answered by class numeric
+               // answered by class numeric and symbols/constants in particular domains
                numeric,
                real,
                rational,