X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Fconstant.h;h=f44ec9dcf08b30d356bf7d01e7198e53ca8fe2b3;hp=ef7e8c8d197a807c5f61928fa8a1c0d737831545;hb=d2ab2b101a5dd5e930c8e220f3026d7a4aa20cf5;hpb=6b3768e8c544739ae53321539cb4d1e3112ded1b diff --git a/ginac/constant.h b/ginac/constant.h index ef7e8c8d..f44ec9dc 100644 --- a/ginac/constant.h +++ b/ginac/constant.h @@ -2,76 +2,87 @@ * * Interface to GiNaC's constant types and some special constants. */ -#ifndef _CONSTANT_H_ -#define _CONSTANT_H_ - -#include +/* + * GiNaC Copyright (C) 1999-2003 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 + */ -class constant; +#ifndef __GINAC_CONSTANT_H__ +#define __GINAC_CONSTANT_H__ +#include +#include "basic.h" #include "ex.h" -#include "numeric.h" +namespace GiNaC { + +typedef ex (*evalffunctype)(); + /** 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) + // member functions - - // default constructor, destructor, copy constructor assignment operator and helpers -public: - ~constant(); - constant(constant const & other); - // constant const & operator=(constant const & other); /* it's pervert! */ -protected: - void copy(constant const & other); - void destroy(bool call_parent); - - // other constructors + + // other constructors public: - constant(string const & initname, ex (*efun)()=0); - constant(string const & initname, numeric const & 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 base classes public: - basic * duplicate() const; - void printraw(ostream & os) const; - void print(ostream & os, unsigned upper_precedence=0) const; - void printcsrc(ostream & os, unsigned type, unsigned upper_precedence=0) const; - ex evalf(int level=0) const; - ex diff(symbol const & s) const; + ex evalf(int level = 0) const; protected: - int compare_same_type(basic const & other) const; - bool is_equal_same_type(basic const & 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() const; + + // non-virtual functions in this class +protected: + void do_print(const print_context & c, unsigned level) const; + void do_print_tree(const print_tree & c, unsigned level) const; + void do_print_latex(const print_latex & c, unsigned level) const; + void do_print_python_repr(const print_python_repr & c, unsigned level) const; // member variables - private: - string name; - ex (*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; + ex 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 type_info const & typeid_constant; - -// extern const numeric I; extern const constant Pi; extern const constant Catalan; -extern const constant EulerGamma; +extern const constant Euler; + +// utility functions + +/** Specialization of is_exactly_a(obj) for constant objects. */ +template<> inline bool is_exactly_a(const basic & obj) +{ + return obj.tinfo()==TINFO_constant; +} + +} // namespace GiNaC -#endif // ndef _CONSTANT_H_ +#endif // ndef __GINAC_CONSTANT_H__