* Collection of all flags used through the GiNaC framework. */
/*
- * GiNaC Copyright (C) 1999-2004 Johannes Gutenberg University Mainz, Germany
+ * GiNaC Copyright (C) 1999-2005 Johannes Gutenberg University Mainz, Germany
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
*
* You should have received a copy of the GNU General Public License
* along with this program; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
*/
#ifndef __GINAC_FLAGS_H__
};
};
+/** 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:
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
};
};
public:
enum {
complex,
- real
+ real,
+ positive
};
};
class info_flags {
public:
enum {
- // answered by class numeric
+ // answered by class numeric and symbols/constants in particular domains
numeric,
real,
rational,