X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Finifcns.h;h=f4c00dd0e7041d9d18c08dfcda96f050a9537cab;hp=dfaea514be114fde5628dfb1d8e14a19dd015bd7;hb=fd3a53feaa220a02cce19f09b86d96579321fc78;hpb=2565309dd7c38635c191eacf2a4af9b23fc0d310 diff --git a/ginac/inifcns.h b/ginac/inifcns.h index dfaea514..f4c00dd0 100644 --- a/ginac/inifcns.h +++ b/ginac/inifcns.h @@ -3,7 +3,7 @@ * Interface to GiNaC's initially known functions. */ /* - * GiNaC Copyright (C) 1999-2000 Johannes Gutenberg University Mainz, Germany + * 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 @@ -23,15 +23,19 @@ #ifndef __GINAC_INIFCNS_H__ #define __GINAC_INIFCNS_H__ -#include -#include +#include "function.h" +#include "ex.h" -#ifndef NO_GINAC_NAMESPACE namespace GiNaC { -#endif // ndef NO_GINAC_NAMESPACE /** Absolute value. */ DECLARE_FUNCTION_1P(abs) + +/** Complex sign. */ +DECLARE_FUNCTION_1P(csgn) + +/** Eta function: log(a*b) == log(a) + log(b) + eta(a, b). */ +DECLARE_FUNCTION_2P(eta) /** Sine. */ DECLARE_FUNCTION_1P(sin) @@ -84,36 +88,51 @@ DECLARE_FUNCTION_1P(Li2) /** Trilogarithm. */ DECLARE_FUNCTION_1P(Li3) -// overloading at work: we cannot use the macros +// overloading at work: we cannot use the macros here /** Riemann's Zeta-function. */ -extern const unsigned function_index_zeta1; -inline function zeta(const ex & p1) { - return function(function_index_zeta1, p1); +class zeta1_SERIAL { public: static unsigned serial; }; +template +inline function zeta(const T1 & p1) { + return function(zeta1_SERIAL::serial, ex(p1)); } /** Derivatives of Riemann's Zeta-function. */ -extern const unsigned function_index_zeta2; -inline function zeta(const ex & p1, const ex & p2) { - return function(function_index_zeta2, p1, p2); +class zeta2_SERIAL { public: static unsigned serial; }; +template +inline function zeta(const T1 & p1, const T2 & p2) { + return function(zeta2_SERIAL::serial, ex(p1), ex(p2)); +} +class zeta_SERIAL; +template<> inline bool is_the_function(const ex & x) +{ + return is_the_function(x) || is_the_function(x); } /** Gamma-function. */ -DECLARE_FUNCTION_1P(gamma) +DECLARE_FUNCTION_1P(lgamma) +DECLARE_FUNCTION_1P(tgamma) /** Beta-function. */ DECLARE_FUNCTION_2P(beta) -// overloading at work: we cannot use the macros +// overloading at work: we cannot use the macros here /** Psi-function (aka digamma-function). */ -extern const unsigned function_index_psi1; -inline function psi(const ex & p1) { - return function(function_index_psi1, p1); +class psi1_SERIAL { public: static unsigned serial; }; +template +inline function psi(const T1 & p1) { + return function(psi1_SERIAL::serial, ex(p1)); } /** Derivatives of Psi-function (aka polygamma-functions). */ -extern const unsigned function_index_psi2; -inline function psi(const ex & p1, const ex & p2) { - return function(function_index_psi2, p1, p2); +class psi2_SERIAL { public: static unsigned serial; }; +template +inline function psi(const T1 & p1, const T2 & p2) { + return function(psi2_SERIAL::serial, ex(p1), ex(p2)); } - +class psi_SERIAL; +template<> inline bool is_the_function(const ex & x) +{ + return is_the_function(x) || is_the_function(x); +} + /** Factorial function. */ DECLARE_FUNCTION_1P(factorial) @@ -123,17 +142,14 @@ DECLARE_FUNCTION_2P(binomial) /** Order term function (for truncated power series). */ DECLARE_FUNCTION_1P(Order) -ex lsolve(const ex &eqns, const ex &symbols); - -ex ncpower(const ex &basis, unsigned exponent); +ex lsolve(const ex &eqns, const ex &symbols, unsigned options = solve_algo::automatic); +/** Check whether a function is the Order (O(n)) function. */ inline bool is_order_function(const ex & e) { - return is_ex_the_function(e, Order); + return is_ex_the_function(e, Order); } -#ifndef NO_GINAC_NAMESPACE } // namespace GiNaC -#endif // ndef NO_GINAC_NAMESPACE #endif // ndef __GINAC_INIFCNS_H__