X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Fbasic.h;h=c54cc3816f49b67ab184b07ac9202d7948ea619d;hp=a095617155d652a57e45e17fc85d86e471299e46;hb=083b0f50275a536be807fa2a34c1e278098e12f5;hpb=6b3768e8c544739ae53321539cb4d1e3112ded1b diff --git a/ginac/basic.h b/ginac/basic.h index a0956171..c54cc381 100644 --- a/ginac/basic.h +++ b/ginac/basic.h @@ -2,24 +2,52 @@ * * Interface to GiNaC's ABC. */ -#ifndef _BASIC_H_ -#define _BASIC_H_ +/* + * GiNaC Copyright (C) 1999-2000 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 + * the Free Software Foundation; either version 2 of the License, or + * (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * 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 + */ + +#ifndef __GINAC_BASIC_H__ +#define __GINAC_BASIC_H__ #include #include #include +// CINT needs to work properly with +#include + #include "flags.h" #include "tinfos.h" -#include "debugmsg.h" +#include "assertion.h" +#include "registrar.h" + +#ifndef NO_NAMESPACE_GINAC +namespace GiNaC { +#endif // ndef NO_NAMESPACE_GINAC class basic; class ex; class symbol; class lst; class numeric; +class archive_node; -typedef vector exvector; +//typedef vector exvector; +typedef vector exvector; // CINT does not like vector<...,default_alloc> #define INLINE_BASIC_CONSTRUCTORS @@ -27,6 +55,8 @@ typedef vector exvector; * It is responsible for the reference counting. */ class basic { + GINAC_DECLARE_REGISTERED_CLASS(basic, void) + friend class ex; // member functions @@ -35,10 +65,8 @@ class basic public: basic() #ifdef INLINE_BASIC_CONSTRUCTORS - : tinfo_key(TINFO_BASIC), flags(0), refcount(0) + : tinfo_key(TINFO_basic), flags(0), refcount(0) { - debugmsg("basic default constructor",LOGLEVEL_CONSTRUCT); - // nothing to do } #else ; @@ -47,28 +75,26 @@ public: virtual ~basic() #ifdef INLINE_BASIC_CONSTRUCTORS { - debugmsg("basic destructor",LOGLEVEL_DESTRUCT); destroy(0); - ASSERT((!(flags & status_flags::dynallocated))||(refcount==0)); + GINAC_ASSERT((!(flags & status_flags::dynallocated))||(refcount==0)); } #else ; #endif // def INLINE_BASIC_CONSTRUCTORS - basic(basic const & other) + basic(const basic & other) #ifdef INLINE_BASIC_CONSTRUCTORS { - debugmsg("basic copy constructor",LOGLEVEL_CONSTRUCT); copy(other); } #else ; #endif // def INLINE_BASIC_CONSTRUCTORS - virtual basic const & operator=(basic const & other); + virtual const basic & operator=(const basic & other); protected: - void copy(basic const & other) + void copy(const basic & other) { flags = other.flags & ~status_flags::dynallocated; hashvalue = other.hashvalue; @@ -81,8 +107,6 @@ protected: #ifdef INLINE_BASIC_CONSTRUCTORS : tinfo_key(ti), flags(0), refcount(0) { - debugmsg("basic constructor with tinfo_key",LOGLEVEL_CONSTRUCT); - // nothing to do } #else ; @@ -94,37 +118,37 @@ protected: // new virtual functions which can be overridden by derived classes public: // only const functions please (may break reference counting) virtual basic * duplicate() const; + virtual void print(ostream & os,unsigned upper_precedence=0) const; virtual void printraw(ostream & os) const; virtual void printtree(ostream & os, unsigned indent) const; - virtual void print(ostream & os,unsigned upper_precedence=0) const; virtual void printcsrc(ostream & os, unsigned type, unsigned upper_precedence=0) const; virtual void dbgprint(void) const; virtual void dbgprinttree(void) const; virtual bool info(unsigned inf) const; - virtual int nops() const; - virtual ex op(int const i) const; - virtual ex & let_op(int const i); - virtual ex operator[](ex const & index) const; - virtual ex operator[](int const i) const; - virtual bool has(ex const & other) const; - virtual int degree(symbol const & s) const; - virtual int ldegree(symbol const & s) const; - virtual ex coeff(symbol const & s, int const n=1) const; - virtual ex collect(symbol const & s) const; + virtual unsigned nops() const; + virtual ex op(int i) const; + virtual ex & let_op(int i); + virtual ex operator[](const ex & index) const; + virtual ex operator[](int i) const; + virtual bool has(const ex & other) const; + virtual int degree(const symbol & s) const; + virtual int ldegree(const symbol & s) const; + virtual ex coeff(const symbol & s, int n=1) const; + virtual ex collect(const symbol & s) const; virtual ex eval(int level=0) const; virtual ex evalf(int level=0) const; - virtual ex diff(symbol const & s) const; - virtual ex series(symbol const & s, ex const & point, int order) const; - virtual ex subs(lst const & ls, lst const & lr) const; + virtual ex series(const symbol & s, const ex & point, int order) const; + virtual ex subs(const lst & ls, const lst & lr) const; virtual ex normal(lst &sym_lst, lst &repl_lst, int level=0) const; virtual numeric integer_content(void) const; - virtual ex smod(numeric const &xi) const; + virtual ex smod(const numeric &xi) const; virtual numeric max_coefficient(void) const; virtual exvector get_indices(void) const; - virtual ex simplify_ncmul(exvector const & v) const; + virtual ex simplify_ncmul(const exvector & v) const; protected: // non-const functions should be called from class ex only - virtual int compare_same_type(basic const & other) const; - virtual bool is_equal_same_type(basic const & other) const; + virtual ex derivative(const symbol & s) const; + virtual int compare_same_type(const basic & other) const; + virtual bool is_equal_same_type(const basic & other) const; virtual unsigned return_type(void) const; virtual unsigned return_type_tinfo(void) const; virtual unsigned calchash(void) const; @@ -132,15 +156,16 @@ protected: // non-const functions should be called from class ex only // non-virtual functions in this class public: - ex subs(ex const & e) const; - int compare(basic const & other) const; - bool is_equal(basic const & other) const; - basic const & hold(void) const; + ex subs(const ex & e) const; + ex diff(const symbol & s, unsigned nth=1) const; + int compare(const basic & other) const; + bool is_equal(const basic & other) const; + const basic & hold(void) const; unsigned gethash(void) const {if (flags & status_flags::hash_calculated) return hashvalue; else return calchash();} unsigned tinfo(void) const {return tinfo_key;} + const basic & setflag(unsigned f) const {flags |= f; return *this;} + const basic & clearflag(unsigned f) const {flags &= ~f; return *this;} protected: - basic const & setflag(unsigned f) const {flags |= f; return *this;} - basic const & clearflag(unsigned f) const {flags &= ~f; return *this;} void ensure_if_modifiable(void) const; // member variables @@ -158,83 +183,46 @@ private: // global constants extern const basic some_basic; -extern type_info const & typeid_basic; +extern const type_info & typeid_basic; // global variables extern int max_recursion_level; -/* -#ifndef _DEBUG -*/ -#define is_of_type(OBJ,TYPE) \ - (dynamic_cast(const_cast(&OBJ))!=0) - -/* -#define is_exactly_of_type(OBJ,TYPE) \ - (typeid(OBJ)==typeid(some_##TYPE)) -*/ -#define is_exactly_of_type(OBJ,TYPE) \ - ((OBJ).tinfo()==(some_##TYPE).tinfo()) +// convenience macros +#ifndef NO_NAMESPACE_GINAC - /* -#else -#define is_of_type(OBJ,TYPE) \ - (ASSERT(typeid(OBJ)!=typeid(exZERO())), \ - (dynamic_cast(const_cast(&OBJ))!=0)) +#define is_of_type(OBJ,TYPE) \ + (dynamic_cast(const_cast(&OBJ))!=0) -#define is_exactly_of_type(OBJ,TYPE) \ - (ASSERT(typeid(OBJ)!=typeid(exZERO())), \ - (typeid(OBJ)==typeid(some_##TYPE)) -#endif // ndef _DEBUG -*/ +#define is_exactly_of_type(OBJ,TYPE) \ + ((OBJ).tinfo()==GiNaC::TINFO_##TYPE) #define is_ex_of_type(OBJ,TYPE) \ - (dynamic_cast(const_cast((OBJ).bp))!=0) + (dynamic_cast(const_cast((OBJ).bp))!=0) -/* #define is_ex_exactly_of_type(OBJ,TYPE) \ - (typeid(*(OBJ).bp)==typeid(some_##TYPE)) -*/ + ((*(OBJ).bp).tinfo()==GiNaC::TINFO_##TYPE) -#define is_ex_exactly_of_type(OBJ,TYPE) \ - ((*(OBJ).bp).tinfo()==(some_##TYPE).tinfo()) +#else // ndef NO_NAMESPACE_GINAC -#define are_ex_trivially_equal(EX1,EX2) \ - ((EX1).bp==(EX2).bp) +#define is_of_type(OBJ,TYPE) \ + (dynamic_cast(const_cast(&OBJ))!=0) -// global functions +#define is_exactly_of_type(OBJ,TYPE) \ + ((OBJ).tinfo()==TINFO_##TYPE) -inline unsigned rotate_left_31(unsigned n) -{ - // clear highest bit and shift 1 bit to the left - n=(n & 0x7FFFFFFFU) << 1; +#define is_ex_of_type(OBJ,TYPE) \ + (dynamic_cast(const_cast((OBJ).bp))!=0) - // overflow? clear highest bit and set lowest bit - if (n & 0x80000000U) { - n=(n & 0x7FFFFFFFU) | 0x00000001U; - } +#define is_ex_exactly_of_type(OBJ,TYPE) \ + ((*(OBJ).bp).tinfo()==TINFO_##TYPE) - ASSERT(n<0x80000000U); +#endif // ndef NO_NAMESPACE_GINAC - return n; -} +#ifndef NO_NAMESPACE_GINAC +} // namespace GiNaC +#endif // ndef NO_NAMESPACE_GINAC -inline unsigned golden_ratio_hash(unsigned n) -{ -#if 0 - // This requires ´long long´ (or an equivalent 64 bit type)---which is, - // unfortunately, not ANSI-compliant: - unsigned long long l = n * 0x4f1bbcddLL; - return (l & 0x7fffffffU) ^ (l >> 32); -#else - // This requires ´long double´ to have a mantissa of at least 64 bit--- - // which is not guaranteed by any standard: - const static long double golden_ratio=.618033988749894848204586834370; - long double m=golden_ratio*n; - return unsigned((m-int(m))*0x80000000); -#endif -} - -#endif // ndef _BASIC_H_ +#endif // ndef __GINAC_BASIC_H__