X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?a=blobdiff_plain;f=ginac%2Finifcns_gamma.cpp;h=e1e67eea25a41e755cf0810f76f1a47abfb6aba5;hb=9b5d06b34d3ee5f0ccd3c500be38fcdf61222956;hp=baed308d366fba1a571e24989deca9f4c6c818a5;hpb=22abfbe8c78e339188096a5bf749a7c2d4f0a368;p=ginac.git diff --git a/ginac/inifcns_gamma.cpp b/ginac/inifcns_gamma.cpp index baed308d..e1e67eea 100644 --- a/ginac/inifcns_gamma.cpp +++ b/ginac/inifcns_gamma.cpp @@ -4,7 +4,7 @@ * some related stuff. */ /* - * GiNaC Copyright (C) 1999-2005 Johannes Gutenberg University Mainz, Germany + * GiNaC Copyright (C) 1999-2009 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 @@ -21,9 +21,6 @@ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA */ -#include -#include - #include "inifcns.h" #include "constant.h" #include "pseries.h" @@ -35,6 +32,9 @@ #include "symmetry.h" #include "utils.h" +#include +#include + namespace GiNaC { ////////// @@ -54,8 +54,7 @@ static ex lgamma_evalf(const ex & x) /** Evaluation of lgamma(x), the natural logarithm of the Gamma function. - * Knows about integer arguments and that's it. Somebody ought to provide - * some good numerical evaluation some day... + * Handles integer arguments as a special case. * * @exception GiNaC::pole_error("lgamma_eval(): logarithmic pole",0) */ static ex lgamma_eval(const ex & x) @@ -69,7 +68,8 @@ static ex lgamma_eval(const ex & x) else throw (pole_error("lgamma_eval(): logarithmic pole",0)); } - // lgamma_evalf should be called here once it becomes available + if (!ex_to(x).is_rational()) + return lgamma(ex_to(x)); } return lgamma(x).hold(); @@ -165,7 +165,8 @@ static ex tgamma_eval(const ex & x) return (pow(*_num_2_p, n).div(doublefactorial(n.mul(*_num2_p).sub(*_num1_p))))*sqrt(Pi); } } - // tgamma_evalf should be called here once it becomes available + if (!ex_to(x).is_rational()) + return tgamma(ex_to(x)); } return tgamma(x).hold(); @@ -221,7 +222,7 @@ static ex beta_evalf(const ex & x, const ex & y) { if (is_exactly_a(x) && is_exactly_a(y)) { try { - return tgamma(ex_to(x))*tgamma(ex_to(y))/tgamma(ex_to(x+y)); + return exp(lgamma(ex_to(x))+lgamma(ex_to(y))-lgamma(ex_to(x+y))); } catch (const dunno &e) { } } @@ -262,7 +263,8 @@ static ex beta_eval(const ex & x, const ex & y) (nx+ny).is_integer() && !(nx+ny).is_positive()) return _ex0; - // beta_evalf should be called here once it becomes available + if (!ex_to(x).is_rational() || !ex_to(x).is_rational()) + return evalf(beta(x, y).hold()); } return beta(x,y).hold(); @@ -326,7 +328,7 @@ REGISTER_FUNCTION(beta, eval_func(beta_eval). evalf_func(beta_evalf). derivative_func(beta_deriv). series_func(beta_series). - latex_name("\\mbox{B}"). + latex_name("\\mathrm{B}"). set_symmetry(sy_symm(0, 1)));