FLINT3.7.0-dev

bernoulli_rev_t

Synopsis#include <flint/bernoulli.h>
bernoulli_rev_t

An iterator that generates the even-indexed Bernoulli numbers Bn,Bn−2,Bn−4,…,B0B_n, B_{n-2}, B_{n-4}, \ldots, B_0 in decreasing order, without caching. An array of length one of bernoulli_rev_struct.

The numbers are computed from the zeta series ζ(k)=∑j≥1j−k\zeta(k) = \sum_{j \ge 1} j^{-k} summed directly in fixed-point arithmetic, with a table of the odd powers j−nj^{-n} that is updated by multiplication by j2j^2 when nn decreases by 2 [Blo2009]. The reverse order is what makes the updates multiplications rather than divisions, and lets the precision and the number of terms decrease as nn decreases. See The zeta function method.

References#

Cite this page

The FLINT team, “bernoulli_rev_t (bernoulli.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/bernoulli/bernoulli_rev_t.html (generated 2026-11-02).