FLINT3.7.0-dev

mp_real_rel_struct

Synopsis#include <flint/mp_real.h>
mp_real_rel_struct

A table of integer relations ∑jdijαj=ϵi\sum_j d_{ij}\alpha_j = \epsilon_i among αj=log⁡pj\alpha_j = \log p_j for the first num primes (gaussian = 0), or among α0=π/2\alpha_0 = \pi/2 and αj=2arg⁡πj\alpha_j = 2\arg \pi_j for the first nonreal Gaussian primes πj\pi_j (gaussian = 1), with ∣ϵi∣|\epsilon_i| decreasing. The fields are num, rows, gaussian, is_static, primes (NULL for Gaussian primes), weights (log⁡2pj\log_2 p_j resp. log⁡N(πj)\log N(\pi_j)), d (the rows ×\times num coefficients followed by a row starting with MP_REAL_REL_TERMINATOR), epsilon, epsilon_inv and epsilon_min.

Cite this page

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