X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?a=blobdiff_plain;ds=sidebyside;f=ginac%2Fconstant.h;h=160b7ac61aa294febcb2051839dc214bf8a23b55;hb=708e9e647029af699333fceffc0a76bef70a4709;hp=aa917e54b8510e735d22138a50618c810f467980;hpb=61434b009f39c40ea85ae7bb4ec14d8d203e2a85;p=ginac.git diff --git a/ginac/constant.h b/ginac/constant.h index aa917e54..160b7ac6 100644 --- a/ginac/constant.h +++ b/ginac/constant.h @@ -3,7 +3,7 @@ * Interface to GiNaC's constant types and some special constants. */ /* - * GiNaC Copyright (C) 1999-2000 Johannes Gutenberg University Mainz, Germany + * GiNaC Copyright (C) 1999-2001 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 @@ -25,80 +25,75 @@ #include #include "basic.h" +#include "ex.h" -#ifndef NO_NAMESPACE_GINAC namespace GiNaC { -#endif // ndef NO_NAMESPACE_GINAC typedef ex (*evalffunctype)(void); - + /** This class holds constants, symbols with specific numerical value. Each * object of this class must either provide their own function to evaluate it * to class numeric or provide the constant as a numeric (if it's an exact * number). */ class constant : public basic { - GINAC_DECLARE_REGISTERED_CLASS(constant, basic) - + GINAC_DECLARE_REGISTERED_CLASS(constant, basic) + // member functions - - // default constructor, destructor, copy constructor assignment operator and helpers -public: - constant(); - ~constant(); - constant(const constant & other); - // const constant & operator=(const constant & other); /* it's pervert! */ -protected: - void copy(const constant & other); - void destroy(bool call_parent); - - // other constructors + + // other ctors public: - constant(const string & initname, evalffunctype efun=0); - constant(const string & initname, const numeric & initnumber); - - // functions overriding virtual functions from bases classes + constant(const std::string & initname, evalffunctype efun = 0, const std::string & texname = std::string()); + constant(const std::string & initname, const numeric & initnumber, const std::string & texname = std::string()); + + // functions overriding virtual functions from bases classes public: - basic * duplicate() const; - void print(ostream & os, unsigned upper_precedence=0) const; - void printraw(ostream & os) const; - void printtree(ostream & os, unsigned indent) const; - void printcsrc(ostream & os, unsigned type, unsigned upper_precedence=0) const; - ex evalf(int level=0) const; + void print(const print_context & c, unsigned level = 0) const; + int degree(const ex & s) const; + int ldegree(const ex & s) const; + ex coeff(const ex & s, int n = 1) const; + ex evalf(int level = 0) const; protected: - ex derivative(const symbol & s) const; - int compare_same_type(const basic & other) const; - bool is_equal_same_type(const basic & other) const; - - // new virtual functions which can be overridden by derived classes - // none - - // non-virtual functions in this class - // none - + ex derivative(const symbol & s) const; + bool is_equal_same_type(const basic & other) const; + unsigned calchash(void) const; + + // new virtual functions which can be overridden by derived classes + // none + + // non-virtual functions in this class + // none + // member variables - + private: - string name; - evalffunctype ef; - numeric * number; - // bool fct_assigned; - unsigned serial; //!< unique serial number for comparision - static unsigned next_serial; + std::string name; ///< printname of this constant + std::string TeX_name; ///< LaTeX name + evalffunctype ef; + numeric *number; ///< numerical value this constant evalf()s to + unsigned serial; ///< unique serial number for comparison + static unsigned next_serial; }; -// global constants - -extern const constant some_constant; -extern const type_info & typeid_constant; - -// extern const numeric I; extern const constant Pi; extern const constant Catalan; -extern const constant gamma; +extern const constant Euler; + +// utility functions + +/** Return the constant object handled by an ex. Deprecated: use ex_to(). + * This is unsafe: you need to check the type first. */ +inline const constant &ex_to_constant(const ex &e) +{ + return static_cast(*e.bp); +} + +/** Specialization of is_exactly_a(obj) for constant objects. */ +template<> inline bool is_exactly_a(const basic & obj) +{ + return obj.tinfo()==TINFO_constant; +} -#ifndef NO_NAMESPACE_GINAC } // namespace GiNaC -#endif // ndef NO_NAMESPACE_GINAC #endif // ndef __GINAC_CONSTANT_H__