FLINT3.7.0-dev

acb_hypgeom_log_rising_ui

Synopsis#include <flint/acb_hypgeom.h>
void acb_hypgeom_log_rising_ui(acb_ptr res, const acb_t x, ulong n, slong prec)source

Sets res to the log-rising factorial \log\,(x)_n = \sum_{k=0}^{n-1} \log(x+k), the sum of principal logarithms, which differs from the principal logarithm of (x)_n by a multiple of 2\pi i.

The function computes (x)_n, takes its principal logarithm and determines the branch correction 2\pi i m. The correction is found with Hare's algorithm [Hare1997] in double-precision arithmetic, which counts how often the partial products cross the negative real axis, when this is safe (n and |x| at most 10^6, |\operatorname{Im} x| > 10^{-6} and an accurate input); otherwise the imaginary part is computed directly as \sum_{k} \arg(x+k), first at low precision to determine m and if necessary at full precision. Real x needs no correction for x > 0 and gets the imaginary part \pi \min(n, \lceil -x \rceil) for negative non-integer x; a real x containing a nonpositive integer gives an indeterminate result.

References#

Cite this page

The FLINT team, “acb_hypgeom_log_rising_ui (acb_hypgeom.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/acb_hypgeom/acb_hypgeom_log_rising_ui.html (generated 2026-10-20).