X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Fflags.h;h=8ef1c0ac07e03a72f8482a431b886543b3bbfc1a;hp=0cef2bb04e85fb6f5301d13a0e544f72bb377fb0;hb=43287525116c2265404f224bbf0311d9fec4b516;hpb=da64e515abf7243bc4c84ca3631470931c4e6691

diff --git a/ginac/flags.h b/ginac/flags.h
index 0cef2bb0..8ef1c0ac 100644
--- a/ginac/flags.h
+++ b/ginac/flags.h
@@ -34,6 +34,14 @@ public:
 	};
 };
 
+/** Flags to control the behavior of has(). */
+class has_options {
+public:
+	enum {
+		algebraic = 0x0001,              ///< enable algebraic matching
+	};
+};
+
 /** Flags to control the behavior of subs(). */
 class subs_options {
 public:
@@ -42,8 +50,13 @@ public:
 		subs_no_pattern = 0x0001, // for backwards compatibility
 		algebraic = 0x0002,              ///< enable algebraic substitutions
 		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()
+		pattern_is_product = 0x0004,     ///< used internally by expairseq::subschildren()
+		pattern_is_not_product = 0x0008, ///< used internally by expairseq::subschildren()
+		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
 	};
 };
 
@@ -52,7 +65,8 @@ class domain {
 public:
 	enum {
 		complex,
-		real
+		real,
+		positive
 	};
 };
 
@@ -187,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,