X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Finifcns.h;h=f4c00dd0e7041d9d18c08dfcda96f050a9537cab;hp=4c63c8c422ceae2fc98f1878edbd4c34a3fc5475;hb=68fdf425abf14d016d5f95ee7b9d06a19a3c5926;hpb=703c6cebb5d3d395437e73e6935f3691aed68e0a diff --git a/ginac/inifcns.h b/ginac/inifcns.h index 4c63c8c4..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 @@ -26,9 +26,7 @@ #include "function.h" #include "ex.h" -#ifndef NO_NAMESPACE_GINAC namespace GiNaC { -#endif // ndef NO_NAMESPACE_GINAC /** Absolute value. */ DECLARE_FUNCTION_1P(abs) @@ -92,14 +90,21 @@ DECLARE_FUNCTION_1P(Li3) // 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. */ @@ -111,14 +116,21 @@ DECLARE_FUNCTION_2P(beta) // 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. */ @@ -130,20 +142,14 @@ DECLARE_FUNCTION_2P(binomial) /** Order term function (for truncated power series). */ DECLARE_FUNCTION_1P(Order) -/** Inert partial differentiation operator. */ -DECLARE_FUNCTION_2P(Derivative) - -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); } -#ifndef NO_NAMESPACE_GINAC } // namespace GiNaC -#endif // ndef NO_NAMESPACE_GINAC #endif // ndef __GINAC_INIFCNS_H__