# Category Archives: mpmath

## Testing Li’s criterion

In this post, I will look at testing the Riemann hypothesis via Li’s criterion and numerical evaluation. Li’s criterion involves a property of Riemann xi function $$\xi(s) = (s-1) \pi^{-s/2} \Gamma\left(1+\tfrac{1}{2} s\right) \zeta(s),$$ so-defined because it puts the functional equation … Continue reading

Posted in arb, flint, math, mpmath | Comments Off

## Coping with a big argument

Implementing special functions so that they work properly on the entirety of their (representable) domain is a very hard problem. Take for example the digamma function: it behaves like $\psi(z) \sim \log z$, so you would never really expect it … Continue reading

Posted in arb, flint, math, mpmath | Comments Off

## Machin-like formulas for logarithms

Machin-like formulas express $\pi$ as an integer combination of arctangents evaluated at reciprocals of integers. The most famous is $$\pi = 16 \arctan \frac{1}{5} – 4 \arctan \frac{1}{239}$$ which historically has been used for many record computations of $\pi$, including … Continue reading

Posted in math, mpmath | 3 Comments

## An even speedier gamma function

I’ve just pushed some new code to the Arb git repository for computing numerical rising factorials ($x (x+1) (x+2)\cdots (x+n-1)$) faster. It works by expanding subproducts as symbolic polynomials, and evaluating them using the rectangular splitting algorithm mentioned in the … Continue reading

Posted in arb, flint, math, mpmath, sage | Comments Off